Language Description and Implementation Concepts of LITFAS (Language for Implications from Textual Files and Atomic Sentences)

Bertsch, Eberhard GND

We define a simple, high-level language that combines essential features of logic programming with a natural file query formalism. The internal sequence of deduction steps is entirely hidden from the user. A rough outline of the implementation is also presented. It turns out that the file access mechanism demands a separate kind of backtracking. Numerous examples are given to demonstrate the expressive power of the language.

Vorschau

Zitieren

Zitierform:

Bertsch, Eberhard: Language Description and Implementation Concepts of LITFAS (Language for Implications from Textual Files and Atomic Sentences). Hagen 1984. FernUniversität in Hagen.

Zugriffsstatistik

Gesamt

Volltextzugriffe:
Metadatenansicht:

12 Monate

Volltextzugriffe:
Metadatenansicht:

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

powered by MyCoRe