Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
A parallel Prolog: The construction of a data driven model
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
ACM SIGARCH Computer Architecture News
Parallel processors and systems for algebraic manipulation: current work
ACM SIGSAM Bulletin
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
Hi-index | 0.00 |
Prolog has become a subject of much discussion of late. It has been suggested as the logical language for programming expert systems. A parallel variant is said to be the language of the Japanese 5th Generation Project. In this paper the standard Prolog language is defined and shown to be a restriction of Logic Programming. Several alternative schemes, which have been proposed for improving the performance of Prolog, are examined. Some schemes change the semantics of the language; these effects are discussed. All schemes have implications on the microarchitecture of the implementing engine; these implications are studied.