If Condition In Prolog