Implementing a Lazy Functional Logic Language with Disequality Constraints.
Herbert KuchenFrancisco Javier López-FraguasJuan José Moreno-NavarroMario Rodríguez-ArtalejoPublished in: JICSLP (1992)
Keyphrases
- constraint language
- quantifier free
- proof theory
- rewrite systems
- programming language
- language learning
- formal theory
- predicate calculus
- constraint logic programming
- formal language
- constraint solving
- operational semantics
- natural language
- first order logic
- dynamic logic
- linear constraints
- constrained optimization
- modal logic
- multi valued
- automated reasoning
- default reasoning
- constraint networks
- global constraints
- semantic constraints
- modeling language
- belief revision
- geometric constraints
- highly expressive
- linear temporal logic
- logic programming
- intuitionistic logic