Knowledge Bases and Semantic Nets

leadSinger(PersonX):-
is_a(PersonX, pupil),
likes(PersonX, karaoke),
voice(PersonX, amazing).

Rule with three SUB GOALS
For the overall goal to be true -> all subgoals must be true

The name of the diagram which allows us to visualise the relationship between the facts in a knowledge base is called ..... SEMANTIC NET

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).