We describe an abstract machine, called SPUM, for the AND parallel execution of Prolog programs. We also present a resolution algorithm for logic programs, ...

An abstract prolog machine based on parallel resolution principle · I. Vlahavas, P. Kefalas · Published in Microprocessing and… 1 September 1992 · Computer Science.

Author(s): I. Vlahavas, P. Kefalas ; Appeared In: Proc. Microprocessing and Microprogramming (Euromicro '92), North-Holland, No. 35, pp.

An Abstract Prolog Machine Based on Parallel Resolution Principle. Author(s): I. Vlahavas, P. Kefalas. Availability: Keywords: Appeared in: Proc ...

Concurrent Prolog is a logic programming language designed for concurrent programming and parallel execution. It is a process oriented language, ...

This paper presents two algorithms as extensions to the basic Resolution Principle of logic programs which exploit parallelism retaining the full semantics of ...

Architecture design of a RISC-processor for prolog · An abstract prolog machine based on parallel resolution principle · A parallel Prolog resolution based on ...

Design of reversible logic based full adder in current-mode logic circuits. Abstract. Demand of Very Large Scale Integration (VLSI) circuits with very high ...

The objective of this article is to provide a comprehensive survey of the issues arising in parallel execution of logic programming languages along with the ...

We define and discuss an objective measure of the effect of parallelism on a sequential algorithm. This measure, known as thepotential parallel factor (PPF),