Language Description and Implementation Concepts of LITFAS (Language for Implications from Textual Files and Atomic Sentences)
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.
Nutzung und Vervielfältigung:
Alle Rechte vorbehalten