Add unit tests for ISO Prolog asserta/1 and assertz/1 built-in predicates