A sportsclub, some members and their activities. Remark that not and or are programmed as properties. member(brahma,club). member(vishnu,club). member(siva,club). member(X,club) :> or_skier_climber(X,X). or_skier_climber(X,X),not_skier(X,X) :> climber(X,X). or_skier_climber(X,X),not_climber(X,X) :> skier(X,X). skier(X,X),climber(X,X) :> or_skier_climber(X,X). skier(X,X),not_climber(X,X) :> or_skier_climber(X,X). not_skier(X,X),climber(X,X) :> or_skier_climber(X,X). climber(X,X) :> not_likes(X,rain). likes(X,rain) :> no_climber(X,X). skier(X,X) :> likes(X,snow). not_likes(X,snow) :> no_skier(X,X). likes(brahma,X) :> not_likes(vishnu,X). not_likes(vishnu,X) :> likes(brahma,X). likes(brahma,snow). likes(brahma,rain). Query: member(X,club),climber(X,X),no_skier(X,X).