Meta-programming in CLP(R)

DOI10.1016/S0743-1066(96)00145-8MaRDI QIDQ4371988zbMATH OpenOpenAlexFDO

Authors Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

Publication date 21 January 1998

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0743-1066(96)00145-8

zbMATH Keywords

Prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 512883
• Publication:4944865
• A metalogic programming approach: language, semantics and applications
• scientific article; zbMATH DE number 4076581

Cited in

(5)

• The \textsc{MetaCoq} project
• scientific article; zbMATH DE number 5652621 (Why is no real title available?)
• scientific article; zbMATH DE number 512883 (Why is no real title available?)
• scientific article; zbMATH DE number 1420801 (Why is no real title available?)
• Projecting CLP(\({\mathcal R}\)) constraints

This page was built for publication: Meta-programming in CLP(R)

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