CMU Artificial Intelligence Repository
FROLIC: Prolog implemented in Common Lisp and integrated
with the FROBS knowledge representation system
lang/prolog/impl/prolog/frolic/
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:
areas/kr/sysems/frames/frobs/
Origin:
cs.utah.edu:pub/frolic.tar.Z
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@cs.utah.edu (FROBS mailing list)
To be added to the mailing list, send mail to
frobs-request@cs.utah.edu.
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
AI.Repository@cs.cmu.edu