This paper describes Gondor, a tool that translates Gödel programs into Andorra-I Prolog programs. Gödel is a logic programming language with types, modules, a flexible computation rule, and an original pruning operator. Andorra-I Prolog is a language supported by the Andorra parallel execution system. Gondor is then a parallel implementation of Gödel.
Gondor: Goedel on Andorra
DOMENICI, ANDREA
1993-01-01
Abstract
This paper describes Gondor, a tool that translates Gödel programs into Andorra-I Prolog programs. Gödel is a logic programming language with types, modules, a flexible computation rule, and an original pruning operator. Andorra-I Prolog is a language supported by the Andorra parallel execution system. Gondor is then a parallel implementation of Gödel.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.