Implementations of distributed Prolog
Leading international contributors present papers pertaining to current approaches in the design and implementation of distributed logic languages that are a generation beyond standard Prolog, all of them introducing ideas of distributed and parallel programming in an attempt to bring high performance features to logic programming applications. Details all aspects of underlying research at a number of global centers including language, implementation models and techniques, hardware architecture, performance results, applications and more.
38 pages matching benchmark in this book
Results 1-3 of 38
What people are saying - Write a review
We haven't found any reviews in the usual places.
ORParallel Logic Computational Models
Parallel Prolog on a Scalable Multiprocessor
ORParallel Prolog System on Supernode
90 other sections not shown
3DPAM abstract machine active algorithm allocated alternative AND-parallelism architecture argument backtracking benchmark binding environment buffer called child process communication compiler computational model concurrent context copy corresponding created CS-Prolog data structures data-flow database described distributed memory dynamic efficient evaluation event goals execution model export Figure frame garbage collection global graph ground term guard implementation input instantiated instructions language literal livelock locality of reference logic programming module multiprocessor node Occam operation OR-node OR-parallelism OR-shared variable overhead Padmalog parallel computation parallel execution parent Parlog performance PMS-Prolog pointer predicates procedure processor programming language Prolog programs Prolog systems queue reduction units reference registers request RGDC scheduler scheme search tree segment semantics sequential Prolog shared memory shoen solution solved stack strategy subgoal Supernode suspended task term theorems Transputer tuple unbound variables unification unify variable bindings Warren Abstract Machine worker