Prolog

Programmable Logic

Allows to define FACTS and RULES
These collected together are called a knowledge base

To represent the fact

"McAlpine loves Binary" - loves(mcalpine, binary). (intentionally lower case)
This only works one way!!!

To represent the fact
"I have a spearmint silver car, 03 plate, 3 door, petrol"
car(spearmintSilver, 03, 3, petrol).

male(homer).
parent(homer, bart).

to make a rule for dad ????

dad(DadX, Child):-
male(DadX), 'the person dadX must be male to be a DAD!
parent(DadX, Child).