# 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.