Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
Prolog by example: how to learn, teach and use it
Prolog by example: how to learn, teach and use it
Concurrent Prolog
Or-parallel execution models of prolog
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
Design and performance of a coherent cache for parallel logic programming architectures
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Design and distributed implementation of the parallel logic language shared Prolog
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Parallel logic programming systems
ACM Computing Surveys (CSUR)
A modular architecture for constraint logic programming
CSC '91 Proceedings of the 19th annual conference on Computer Science
Rule-based coordination of logic programs
Computer Languages
A declarative coordination language
Computer Languages
| Hi-index | 0.01 |
The performances of two parallel logic-programming architectures, an OR-parallel Prolog system and an AND-parallel flat-guarded-Horn-clause system (FGHC), are compared. A description is given of how fast algorithms are developed on both OR-parallel and AND-parallel programming paradigms, as well as in both uncommitted-choice and committed-choice languages. To compare the systems, seven algorithms for solving the N-queens problem were executed, and their performances were measured on a Sequent Symmetry under the Aurora and KLIPS architectures.