Add unit tests for ISO Prolog retract/1 built-in predicate