A functorial framework for constraint normal logic programming

DOI10.1007/S10485-008-9128-5MaRDI QIDQ934677zbMATH OpenOpenAlexFDO

Authors P. Lucio, Fernando Orejas, Edelmira Pasarella, 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

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

Recommendations

• A Functorial Framework for Constraint Normal Logic Programming
• Constraint functional logic programming revisited
• A hierarchy of semantics for normal constraint logic programs
• A new generic scheme for functional logic programming with constraints
• scientific article; zbMATH DE number 1688813
• Constraint functional logic programming over finite domains
• A concurrent operational semantics for constraint functional logic programming
• scientific article; zbMATH DE number 970715
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Implementing relational specifications in a constraint functional logic language

Cites work

• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 3911679 (Why is no real title available?)
• scientific article; zbMATH DE number 3723836 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A Functorial Framework for Constraint Normal Logic Programming
• A kripke-kleene semantics for logic programs*
• An algebraic framework for the definition of compositional semantics of normal logic programs
• Constructive negation by pruning
• Correct answers to allowed programs and queries are ground
• Negation and constraint logic programming
• Systematization of finite many-valued logics through the method of tableaux
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• What is failure? An approach to constructive negation

Cited in

(2)

• Attributed Graph Constraints
• 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 Q934677)