Logic programming in tabular allegories

DOI10.4230/LIPICS.ICLP.2012.334MaRDI QIDQ5398071zbMATH OpenOpenAlexFDO

Authors Emilio Jesús Gallego Arias, James Lipton

Publication date 25 February 2014

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2012/3634/pdf/32.pdf

zbMATH Keywords

category theorydeclarative programmingLawvere categorieslogic programmingprogramming language semantics

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Logic programming (68N17) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Declarative compilation for constraint logic programming
• Constraint logic programming with a relational machine
• scientific article; zbMATH DE number 2079032
• From relational specifications to logic programs
• Indexed categories and bottom-up semantics of logic programs

Cited in

(8)

• Compiling logics
• From relational specifications to logic programs
• Declarative compilation for constraint logic programming
• A first-order calculus for allegories
• Planning as tabled logic programming
• Escape from Zurg: an exercise in logic programming
• Constraint logic programming with a relational machine
• Aczel-Mendler bisimulations in a regular category

This page was built for publication: Logic programming in tabular allegories

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