Parallel execution of logic programs might overcome the low performance problems of the traditional implementations of logic programming systems on sequential computers. According to this approach, the resolution procedure of logic programming that in Prolog is executed sequentially, it is executed by a collection of concurrent processes cooperating by the exchange of the variable bindings. This paper introduces parallelism in logic programs and discusses some logic programming systems designed and implemented on distributed memory parallel computers. Efficient implementation of logic programming languages on these computers would significantly contribute to promoting the development of high-performance artificial intelligence applications. The main features of four significant systems, the design choices to exploit parallelism, and the techniques used to solve problems like process parallelism, distributed memory management, and multiple binding environments are surveyed and computed.
PARALLEL LOGIC PROGRAMMING SYSTEMS ON MULTICOMPUTERS
TALIA, Domenico
1994-01-01
Abstract
Parallel execution of logic programs might overcome the low performance problems of the traditional implementations of logic programming systems on sequential computers. According to this approach, the resolution procedure of logic programming that in Prolog is executed sequentially, it is executed by a collection of concurrent processes cooperating by the exchange of the variable bindings. This paper introduces parallelism in logic programs and discusses some logic programming systems designed and implemented on distributed memory parallel computers. Efficient implementation of logic programming languages on these computers would significantly contribute to promoting the development of high-performance artificial intelligence applications. The main features of four significant systems, the design choices to exploit parallelism, and the techniques used to solve problems like process parallelism, distributed memory management, and multiple binding environments are surveyed and computed.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.