[comp.lang.prolog] FBRL in Prolog

emerson@uvm-gen.UUCP (The Mad Debugger) (08/05/87)

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.