The Semantics of Equational Logic Programming as an instance of CLP

Author

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

Abstract

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.

Keywords

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