2 citations · 6 across the 16 of their papers we have counts for
1 paper · 1 filter
M. H. van Emden
The CLP scheme uses Horn clauses and SLD resolution to generate multiple constraint satisfaction problems (CSPs). The possible CSPs include rational trees (giving Prolog) and numer…