×

zbMATH — the first resource for mathematics

Notes on the implementation of PARLOG. (English) Zbl 0575.68005
The authors consider the implementation of PARLOG by showing how any PARLOG program can be compiled to a program in a small and quite rudimentary subset of the language which we call Kernel PARLOG. To implement PARLOG on a particular architecture we need only implement Kernel PARLOG, which itself can be adapted to the features of the architecture. The paper presents a step-by-step reduction of PARLOG to Kernel PARLOG. Firstly, we define the set and subset primitives by interpreters in the single-solution subset of PARLOG. Then we show how any PARLOG single-solution relation definition can be compiled to one in Kernel PARLOG.

MSC:
68N01 General topics in the theory of software
Keywords:
PARLOG program
Software:
PARLOG
PDF BibTeX XML Cite
Full Text: DOI