CAL: A theoretical background of constraint logic programming and its applications

DOI10.1016/S0747-7171(89)80063-XzbMath0693.68009OpenAlexW2018083690MaRDI QIDQ908680

Akira Aiba, Ko Sakai

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0747-7171(89)80063-x

zbMATH Keywords

semanticslogic programmingCLP language

Mathematics Subject Classification ID

Related Items (3)

Computational complexity and constraint logic programming languages ⋮ Role of logic programming in the FGCS project ⋮ From LP to LP: Programming with constraints

Uses Software

• CHIP

Cites Work

• Solving a cutting-stock problem with the constraint logic programming language CHIP
• REF-ARF: A system for solving problems stated as procedures
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: CAL: A theoretical background of constraint logic programming and its applications