Van Roy, Peter "Can Logic Programming Execute as Fast as Imperative Programming?" PhD Dissertation at USC 1991
(1991)
Languages mentioned
Aquarius Prolog
{1989} High performance Prolog