Prolog If-Then-Else example