A Functorial Framework for Constraint Normal Logic Programming

DOI10.1007/11780274_29zbMath1132.68324OpenAlexW1572078563MaRDI QIDQ5757919

Elvira Pino, Fernando Orejas, Paqui Lucio, Edelmira Pasarella

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

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

Related Items (1)

A functorial framework for constraint normal logic programming

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