A Functorial Framework for Constraint Normal Logic Programming

DOI10.1007/11780274_29MaRDI QIDQ5757919zbMATH OpenOpenAlexFDO

Authors P. Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11780274_29

Mathematics Subject Classification ID

Logic programming (68N17) Abstract data types; algebraic specification (68Q65)

Recommendations

• A functorial framework for constraint normal logic programming
• scientific article; zbMATH DE number 970715
• Negation and constraint logic programming
• A hierarchy of semantics for normal constraint logic programs
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1

Cited in

(1)

• A functorial framework for constraint normal logic programming

This page was built for publication: A Functorial Framework for Constraint Normal Logic Programming

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