A functorial framework for constraint normal logic programming

DOI10.1007/s10485-008-9128-5zbMath1147.68013OpenAlexW2026305352MaRDI QIDQ934677

Paqui Lucio, Edelmira Pasarella, Fernando Orejas, Elvira Pino

Publication date: 30 July 2008

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-008-9128-5

zbMATH Keywords

SemanticsConstraint logic programmingConstructive negation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17) Categorical semantics of formal languages (18C50)

Related Items (1)

Attributed Graph Constraints

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• What is failure? An approach to constructive negation
• Negation and constraint logic programming
• A kripke-kleene semantics for logic programs*
• Systematization of finite many-valued logics through the method of tableaux
• Correct answers to allowed programs and queries are ground
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Constructive negation by pruning
• An algebraic framework for the definition of compositional semantics of normal logic programs
• A Functorial Framework for Constraint Normal Logic Programming

This page was built for publication: A functorial framework for constraint normal logic programming