Abstract
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 language | English |
|---|---|
| Pages (from-to) | 379-386 |
| Number of pages | 8 |
| Journal | IEE Conference Publication |
| Issue number | 316 |
| Publication status | Published - 1990 |
| Event | UK IT 1990 Conference - Southampton, Engl Duration: 19 Mar 1990 → 22 Mar 1990 |