Add unit tests for the `findall/3`, `bagof/3`, and `setof/3` built-in methods adapted from the corresponding examples in the ISO Prolog Core standard