For my programming course’s assignment, I have to write some Prolog code without using any pre-defined predicates (excluding , and ;), but saw no way around using =, as I had to check whether a variable A is equal to (can be identified with) some foo(B, C).

Since this isn’t allowed though, I’d like to implement my own predicate myUnification/2, which should essentially behave in the same way, but I have no idea how to go about this. I’ve tried looking at the SWI-Prolog Documentation for assistance but it only explains what the predicate does, not how it actually works internally.

>Solution :

It is right there in the docs 😀

=(Term, Term).

To use ‘unify’ instead of ‘=’, define:

unify(A, A).

You can now do magic like this:

?- unify(X, foo(a, b)).
X = foo(a, b).