Kelpie: a Concurrent Logic Programming System for Knowledge Based Applications


A software architecture that interfaces a concurrent logic programming system to a Prolog database machine is described. The concurrent logic programming system connects a guarded clause inference engine with a definite clause inference engine to support concurrent execution of mutually invoking guarded and definite clause programs. An interface to a Prolog… (More)


2 Figures and Tables

Slides referencing similar topics