Constraint logic programming with a relational machine | Publicación