Prolog - Collecting All Solutions