CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

FROLIC: Prolog implemented in Common Lisp and integrated with the FROBS knowledge representation system

FROLIC (Frobs + Logic) is an implementation of Prolog in Common Lisp that allows access to external knowledge bases. It was designed to provide a prolog-based interface to Frobs data structures. It uses a Lisp-like syntax instead of Prolog's syntax. Examples include a simple Eliza-like program.
See Also: 


Version: 19-AUG-93 Ports: KCL, Lucid, PCLS, HPCL Copying: Copyright (c) 1986, 1987, University of Utah CD-ROM: Prime Time Freeware for AI, Issue 1-1 Mailing List: (FROBS mailing list) To be added to the mailing list, send mail to Author(s): Robert R. Kessler Department of Computer Science University of Utah 3190 Merrill Engineering Building Salt Lake City, UT 84112 Tel: 801-581-5017 Keywords: Authors!Kessler, Backward Chaining, Eliza, FROBS, FROLIC, Programming Languages!Prolog, Prolog in Common Lisp, Prolog!Implementations, Univ. of Utah References: The following user manual is included in the distribution: Jed Krohnfeldt and Craig Steury, "Frolic: Logic Programming with Frobs" Utah PASS Project OpNote 86-08, August 19, 1993.
Last Web update on Mon Feb 13 10:34:59 1995