scientific article; zbMATH DE number 1420801

MaRDI QIDQ4944865zbMATH OpenFDO

Authors Philippe Refalo

Publication date 22 March 2000

zbMATH Keywords

constraint logic programmingAthena

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP
• Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14].1
• scientific article; zbMATH DE number 512883
• scientific article; zbMATH DE number 1140682
• Meta-programming in CLP(R)

Cited in

(2)

• Asking the Metaquestions in Constraint Tractability
• Incremental Linear Constraint Solving and Detection of Implicit Equalities

This page was built for publication:

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