Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!rutgers!ucla-cs!zen!ucbvax!decvax!dartvax!uvm-gen!emerson
From: emerson@uvm-gen.UUCP (The Mad Debugger)
Newsgroups: comp.lang.prolog
Subject: FBRL in Prolog
Message-ID: <574@uvm-gen.UUCP>
Date: Wed, 5-Aug-87 12:18:59 EDT
Article-I.D.: uvm-gen.574
Posted: Wed Aug  5 12:18:59 1987
Date-Received: Sat, 8-Aug-87 15:16:46 EDT
Organization: EMBA Computer Facility, Univ. of Vermont, Burlington.
Lines: 14
Keywords: Are there any out there?


Does anyone know of any FBRL's written in Prolog or that support logical
inference?  I know HSRL (from Carnegie-Mellon) and KRYPTON (from
XEROX PARC) have a logical basis to them, but both are written in LISP.

I am currently writing a FBRL interpreter embedded in C-Prolog, and would like
to ''compare notes'' with other such systems, if they're out there.

I would also appreciate any thoughts on the implementation of frame theory in
Prolog.

Thanks in advance,

Tom E.