Add unit tests for ISO Prolog unification built-in predicates