Possible Prolog Solutions