|
|
|
|
|
|
|
|
|
|
|
|
| u | 0
order: no variables |
||||||||||
| n | If
raining and no_umbrella Then get_wet |
||||||||||
| u | 1
order: predicate with variables |
||||||||||
| n | “Socrates
is a men. All men are mortal.” |
||||||||||
| n | fact
(men() is a predicate): men(Socrates) |
||||||||||
| n | rule
($X is a variable): IF men($X) THEN mortal($X) |
||||||||||
| u | 2
order logic: variable predicates |
||||||||||
