FBRL in Prolog

Article View: comp.lang.prolog

Article #2743

#2743

From: The Mad Debugger
Date: Wed, 05 Aug 1987 16:18

14 lines
1024 bytes

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.

Technical Details

Message-ID: <574@uvm-gen.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!seismo!rutgers!ucla-cs!zen!ucbvax!decvax!dartvax!uvm-gen!emerson

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!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?