Nicolog: A simple yet powerful cc(FD) language

DOI10.1007/BF00283135zbMATH Open0863.68040OpenAlexW1972938981MaRDI QIDQ5961494FDOQ5961494

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

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

zbMATH Keywords

constraint logic programmingNicolog

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (2)

• Introduction to the constraint language NCL
• Title not available (Why is that?)

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)