2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Javier Leach, Susana Nieva, Mario Rodriguez-Artalejo
Constraint Logic Programming (CLP) and Hereditary Harrop formulas (HH) are two well known ways to enhance the expressivity of Horn clauses. In this paper, we present a novel combin…