Compiling a Functional Logic Language: The Basic Scheme.
Sergio AntoyArthur Michener PetersPublished in: FLOPS (2012)
Keyphrases
- dynamic logic
- proof theory
- formal language
- functional language
- modal logic
- highly expressive
- modal operators
- operational semantics
- intuitionistic logic
- conditional logic
- programming language
- lambda calculus
- database language
- logic programming language
- nonmonotonic logics
- classical logic
- language processing
- logic programming
- computational linguistics
- linear logic
- multi valued
- automated reasoning
- declarative semantics
- target language
- agent programming
- default reasoning
- neural network
- fixed point semantics