Communications of the ACM
Prolog and its performance: exploiting independent and-parallelism
Logic programming
The muse approach to Or-parallel Prolog
International Journal of Parallel Programming
Network-based concurrent computing on the PVM system
Concurrency: Practice and Experience
Multi-Prolog: Definition, operational semantics and implementation
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
PAN: a portable, parallel prolog: Its design, realisation and performance
New Generation Computing
| Hi-index | 0.00 |
An effective resolution multiprocessor can be built from distributed processing, logic programming, and interface elements. Widely used, portable, components can be modularly composed into a portable parallel system that displays good resistance to premature obsolescence by software evolution. A virtual multiprocessor offering common message passing and configuration services integrates a distributed mesh of sequential resolution engines. Users configure and control the resolution engines and virtual multiprocessor through a GUI using an embedded command language to drive its facilities. Prolog programs either explicitly control parallel execution through message passing or would have to rely on program transformation techniques to extract parallelism implicitly.