CMU Artificial Intelligence Repository
Logic programming language implementations other than
Prolog.
lang/prolog/impl/lp/
coral/ CORAL: Deductive database/logic programming
language.
lolli/ Lolli: An interpreter for linear logic
programming.
Sources for a logic programming language implementations other than Prolog.
References:
Hogger, C.J.: "Introduction to Logic Programming", Academic Press 1984
Kowalski, R.A.: "Logic for Problem Solving", New York 1979, Elsevier Publ.
LLoyd, John: "Foundations of Logic Programming", 2nd Edition,
Springer-Verlag, 1988. (Intro to logic programming theory.)
David Maier and David S. Warren: "Computing with Logic: Logic
Programming with Prolog", Benjamin Cummings, Menlo Park, CA, 1989.
Nilsson, Ulf and Maluszynski, Jan, "Logic, Programming and Prolog",
John Wiley & Sons, 1990, ISBN 0-471-92625-6.
Subrata Kumar DAS, "Deductive Databases and Logic Programming",
Addison-Wesley Publishing Company, July 1992, 448 pages.
ISBN 0-201-56897-7.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Keywords:
Logic Programming, Programming Languages!Logic Programming
Last Web update on Mon Feb 13 10:34:39 1995
AI.Repository@cs.cmu.edu