PARLOG is a logic programming language designed for efficient implementation on parallel machines. It supports a declarative style of programming, combined with

P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied.

This monograph concentrates on the implementation of concurrent logic programming languages on loosely-coupled parallel computer architectures. Two different ab

Highly parallel machines have been available for many years but, because advances in hardware have always outpaced progress in software development, designers a