Need forward chaining

Article View: comp.lang.prolog

Article #3530

#3530

From: Gerhard Friedrich
Date: Fri, 29 Jul 1988 09:47

13 lines
681 bytes

I need a forward chaining inference engine implemented in PROLOG and performing
inferences on horn clauses.

Do there already exist efficient implementations in PROLOG?
How are they available?

Thanks in advance

Gerhard Friedrich
Technical University of Vienna
net: gerhard@tuhold.uucp
     ..!mcvax!tuvie!tuhold!gerhard

Technical Details

Message-ID: <1077@tuhold>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!attcan!uunet!mcvax!tuvie!tuhold!gerhard

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!attcan!uunet!mcvax!tuvie!tuhold!gerhard
From: gerhard@tuhold (Gerhard Friedrich)
Newsgroups: comp.lang.prolog
Subject: Need forward chaining
Keywords: forward-chaining PROLOG meta-interpreter
Message-ID: <1077@tuhold>
Date: 29 Jul 88 09:47:23 GMT
Organization: Institut f. Angewandte Informatik, TU Vienna
Lines: 13