We develop a compilation scheme and categorical abstract machine for execution of logic programs based on allegories, the categorical version of the calculus of relations. Operational and denotational semantics are developed using the same formalism, and query execution is performed using algebraic reasoning. Our work serves two purposes: achieving a formal model of a logic programming compiler and efficient runtime; building the base for incorporating features typical of functional programming in a declarative way, while maintaining 100% compatibility with existing Prolog programs.
@InProceedings{gallegoarias_et_al:LIPIcs.ICLP.2012.334, author = {Gallego Arias, Emilio Jes\'{u}s and B. Lipton, James}, title = {{Logic Programming in Tabular Allegories}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {334--347}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.334}, URN = {urn:nbn:de:0030-drops-36345}, doi = {10.4230/LIPIcs.ICLP.2012.334}, annote = {Keywords: Category Theory, Logic Programming, Lawvere Categories, Programming Language Semantics, Declarative Programming} }
Feedback for Dagstuhl Publishing