The ALF System: An Efficient Implementation of a Functional Logic Language.
Michael HanusPublished in: PDK (1991)
Keyphrases
- functional language
- programming language
- specification language
- language learning
- formal theory
- dynamic logic
- formal language
- query language for xml
- data sets
- operational semantics
- logic programming
- multi valued
- modal logic
- proof theory
- agent programming
- formal logic
- high level
- lambda calculus
- concurrent programming
- highly modular
- neural network