A new class of programming languages is born from the integration of logic programming and concurrent programming: concurrent logic programming languages. The main goal of concurrent logic languages is the exploitation of parallelism which is inside logic programs. This paper surveys and compares the two most significant concurrent logic programming languages, PARLOG and Concurrent Prolog with respect to the original mechanisms defined in each one to embody parallelism in a logic programming framework. For both languages, some implementation techniques in parallel environments are discussed.
A SURVEY OF PARLOG AND CONCURRENT PROLOG - THE INTEGRATION OF LOGIC AND PARALLELISM
TALIA, Domenico
1993-01-01
Abstract
A new class of programming languages is born from the integration of logic programming and concurrent programming: concurrent logic programming languages. The main goal of concurrent logic languages is the exploitation of parallelism which is inside logic programs. This paper surveys and compares the two most significant concurrent logic programming languages, PARLOG and Concurrent Prolog with respect to the original mechanisms defined in each one to embody parallelism in a logic programming framework. For both languages, some implementation techniques in parallel environments are discussed.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.