6 citations · 10 across the 6 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…