Applying coupled resolution engines to knowledge bases

H. Taylor, Howard Williams

Research output: Contribution to journalArticlepeer-review

22 Downloads (Pure)


A software architecture has been developed that couples a concurrent logic programming or CLP engine with a multi-threaded Prolog engine. Several interfaces between Prolog and CLP computations are defined, and programs using these interfaces are given that show how this approach to coupling resolution engines can effectively combine Prolog's ability to handle deduction over knowledge bases with a CLP language's ability to program concurrent systems. The combination of these two capabilities allows simple and expressive programming of multi-user knowledge based systems in logic.

Original languageEnglish
Pages (from-to)379-386
Number of pages8
JournalIEE Conference Publication
Issue number316
Publication statusPublished - 1990
EventUK IT 1990 Conference - Southampton, Engl
Duration: 19 Mar 199022 Mar 1990


Dive into the research topics of 'Applying coupled resolution engines to knowledge bases'. Together they form a unique fingerprint.

Cite this