Logic for problem-solving
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
IEEE Transactions on Software Engineering
Vectorization techniques for prolog
ICS '88 Proceedings of the 2nd international conference on Supercomputing
Adaptive multiagent planning in a distributed environment
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Pipelined OR-parallelism architecture for parallel execution of Prolog
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
PROLOG applications for database design with the information center
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Implemention of parallel Prolog on tree machines
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Incremental analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel Simulated Annealing using Speculative Computation
IEEE Transactions on Parallel and Distributed Systems
A parallel execution model of logic programs
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Inference machine: From sequential to parallel
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Compiling prolog programs for parallel execution on a cellular machine
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
AND parallelism in logic programs
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
The architecture of the FAIM-1 symbolic multiprocessing system
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Parallel computation skeletons with premature termination property
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
| Hi-index | 0.00 |
Logic programs offer many opportunities for parallelism. We present an abstract model that exploits the parallelism due to nondeterministic choices in a logic program. A working interpreter based on this model is described, along with variants of the basic model that are capable of exploiting other sources of parallelism. We conclude with a discussion of our plans for experimenting with the various models, plans which we hope will lead eventually to a multi-processor machine.