A Functional Logic Language Based on Canonical Unification.
D. W. ShinJong H. NangSangki HanSeungryul MaengPublished in: SLP (1987)
Keyphrases
- formal language
- operational semantics
- intuitionistic logic
- natural language
- programming language
- logic programming
- dynamic logic
- modal logic
- predicate calculus
- language learning
- proof theory
- classical logic
- modal operators
- highly expressive
- logic programming language
- formal theory
- functional language
- linear temporal logic
- order sorted
- formal logic
- lambda calculus
- multi valued
- declarative semantics
- predicate logic
- logical framework
- language processing
- monadic second order logic
- higher order