I take it that you understand that unification is the heart of Prolog and that it is done sometimes in the billions of operations for one query. Notice here that unification is done in C to make it faster.
Look at some the queries here and the inference count in the billions (3,126,154,467) and the time to execute (671.015 seconds).