PARALLEL LOGIC PROGRAMMING SYSTEMS ON MULTICOMPUTERS

Parallel execution of logic programs might overcome the low performanc e problems of the traditional implementations of logic programming sys tems on sequential computers. According to this approach, the resoluti on procedure of logic programming that in Prolog is executed sequentia lly, it is executed by a collection of concurrent processes cooperatin g by the exchange of the variable bindings. This paper introduces para llelism in logic programs and discusses some logic programming systems designed and implemented on distributed memory parallel computers. Ef ficient implementation of logic programming languages on these compute rs would significantly contribute to promoting the development of high -performance artificial intelligence applications. The main features o f four significant systems, the design choices to exploit parallelism, and the techniques used to solve problems like process parallelism, d istributed memory management, and multiple binding environments are su rveyed and computed.