Nicolog: A simple yet powerful cc(FD) language

DOI10.1007/BF00283135MaRDI QIDQ5961494zbMATH OpenOpenAlexFDO

Authors Gregory Sidebottom, William S. Havens

Publication date 10 April 1997

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00283135

zbMATH Keywords

constraint logic programmingNicolog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Compiling constraints in clp(FD)
• Design, implementation, and evaluation of the constraint language cc(FD)
• Constraint satisfaction using constraint logic programming
• Generalized constraint propagation over the CLP scheme

Cited in

(2)

• scientific article; zbMATH DE number 1420802 (Why is no real title available?)
• Introduction to the constraint language NCL

This page was built for publication: Nicolog: A simple yet powerful \(\text{cc(FD)}\) language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5961494)