Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming
From MaRDI portal
Publication:3067475
DOI10.1007/978-3-642-17796-5_11zbMath1308.68030OpenAlexW1508143293MaRDI QIDQ3067475
Publication date: 21 January 2011
Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-17796-5_11
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A new generic scheme for functional logic programming with constraints
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
- A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
- The integration of functions into logic programming: From theory to practice