All Or Nothing _ Prolog