Did you know? SWI-Prolog has a unit test frameworkSearch Documentation:
Carnival in the NetherlandsPredicate atom_codes/2