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.