[comp.lang.prolog] Need forward chaining

gerhard@tuhold (Gerhard Friedrich) (07/29/88)

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