scientific article; zbMATH DE number 512883

MaRDI QIDQ4281585zbMATH OpenFDO

Authors Pierre Lim, Joachim Schimpf

Publication date 19 October 1994

zbMATH Keywords

compilerconstraint logic programmingconstraint solvinginterpretation of symbolsunification

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• Meta-programming in CLP(R)
• scientific article; zbMATH DE number 1926617
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• scientific article; zbMATH DE number 4058908
• Compiling constraints in clp(FD)

Cited in

(7)

• \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) -- from LP to CLP
• scientific article; zbMATH DE number 4058908 (Why is no real title available?)
• Automated reasoning with a constraint-based metainterpreter
• Meta-programming in CLP(R)
• scientific article; zbMATH DE number 1140682 (Why is no real title available?)
• scientific article; zbMATH DE number 1420801 (Why is no real title available?)
• Asking the Metaquestions in Constraint Tractability

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 Q4281585)