Logic programming in LISP with controlled search (abstract only)
Authors:
R. B. Abhyankar;N. Baharam
Affiliations:
Department of Mathematics and Computer Science, Indiana State University, Terre Haute, IN;Department of Mathematics and Computer Science, Indiana State University, Terre Haute, IN
Venue:
CSC '87 Proceedings of the 15th annual conference on Computer Science