Prolog programs can be compiled in two steps: a Prolog compiler translates them into an intermediate language based on the Warren Abstract Machine instruction set, and a C compiler macro-expands the intermediate language into C statements that are then compiled to the host machine language. The method affords rapid development of a very flexible tool for experimentation in Prolog implementations.
Compiling Prolog with a C compiler
DOMENICI, ANDREA
1989-01-01
Abstract
Prolog programs can be compiled in two steps: a Prolog compiler translates them into an intermediate language based on the Warren Abstract Machine instruction set, and a C compiler macro-expands the intermediate language into C statements that are then compiled to the host machine language. The method affords rapid development of a very flexible tool for experimentation in Prolog implementations.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.
