Embedding Multiset Constraints into a Lazy Functional Logic Language.
Puri Arenas-SánchezFrancisco Javier López-FraguasMario Rodrúguez-ArteljoPublished in: PLILP/ALP (1998)
Keyphrases
- constraint language
- formal language
- quantifier free
- proof theory
- formal theory
- highly expressive
- constrained optimization
- constraint satisfaction
- language learning
- constraint logic programming
- predicate logic
- dynamic logic
- programming language
- operational semantics
- modal operators
- modal logic
- nonmonotonic logics
- predicate calculus
- computational linguistics
- global constraints
- modeling language
- functional language
- intuitionistic logic
- logic programming