3 ms·

So it's a base operator for prolog unification?

• neel_k 8y ago
  No. From an implementation POV, Prolog adds two pieces to ordinary programming languages: backtracking plus unification. This post talks about backtracking, but doesn't touch upon unification at all.