Add unit tests for ISO Prolog clause/2 built-in predicate