%A J.A. Robinson
%A E.E. Sibert
%T Logic Programming in Lisp
%R Technical Report Report 8-80
%I School of Computer and Information Science,
Syracuse University
%C Syracuse, New York
%D December 1980
%K extensions, variable control, breadth-first search, embedding in Lisp