problem: how to translate predicate logic sentences to Prolog?

given these 2 sentences in predicate logic:
1. for all Car: color(Car, blue) -> not owner(tim, Car) // tim doesnot
have a blue car
2. color ( auto4, blue) // auto4 is a blue car

with modus ponens I can conclude:
3. not owner(tim, auto4) // tim doesnot have auto4

How can I make a corresponding Prolog program ( translating 1. and 2.
in Prolog) to derive fact 3.?

greetings
jeu van loon

.

Relevant Pages