Real Constraints within a Functional Logic Language.
Puri Arenas-SánchezMaria Teresa Hortalá-GonzálezFrancisco Javier López-FraguasEva UllánPublished in: APPIA-GULP-PRODE (1996)
Keyphrases
- constraint language
- quantifier free
- natural language
- proof theory
- programming language
- intuitionistic logic
- classical logic
- derivation rules
- language learning
- functional language
- formal language
- highly expressive
- dynamic logic
- conditional logic
- operational semantics
- constraint networks
- modal logic
- logic programming
- predicate logic
- asynchronous circuits
- real world
- specification language
- automated reasoning
- lambda calculus
- order sorted