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