7 citations · 17 across the 7 of their papers we have counts for
1 paper · 1 filter
Alin Suciu
The unification algorithm is at the core of the logic programming paradigm, the first unification algorithm being developed by Robinson [5]. More efficient algorithms were develope…