The Semantics of Equational Logic Programming as an instance of CLP


María Alpuente, Moreno Falaschi, Maurizio Gabbrielli and Giorgio Levi


We show how functional (i.e. equational) and logic programming can be integrated within the Constraint Logic Programming paradigm. The resulting language CLP(H/E) is specialized in solving equations with respect to a Horn equational theory E. CLP(H/E) inherits all the semantic properties of the CLP scheme, including a new semantics which models answer constraints. The operational semantics of CLP(H/E) is defined by a constraint solver based on conditional narrowing. Several strategies to obtain an incremental constraint solver are considered.


Equational logic programming, constraint logic programing, term rewriting systems, non standard semantics.