Meta-programming in CLP(R)

DOI10.1016/S0743-1066(96)00145-8zbMath0886.68032OpenAlexW1981291300MaRDI QIDQ4371988

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

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)

Related Items

Projecting CLP(\({\mathcal R}\)) constraints