Path: 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


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