CMU Artificial Intelligence Repository
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.
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: firstname.lastname@example.org (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
Authors!Kessler, Backward Chaining, Eliza, FROBS, FROLIC,
Programming Languages!Prolog, Prolog in Common Lisp,
Prolog!Implementations, Univ. of Utah
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