A Functorial Framework for Constraint Normal Logic Programming

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino. A Functorial Framework for Constraint Normal Logic Programming. Applied Categorical Structures, 16(3):421-450, 2008. [doi]

Abstract

Abstract is missing.