CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Logic programming language implementations other than Prolog.


   coral/     CORAL: Deductive database/logic programming 
   lolli/     Lolli: An interpreter for linear logic 
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