Turbo Prolog
3 :
. .
: ..
2015
: Turbo Prolog. , , .
:
- - . . - , , - . . - , -, . - - , , . , . , , , . . - .
: . .
12. . .
.
, (). , , . Prolog :
topic("dog").
topic("short-haired dog").
topic("long-haired dog").
rule(1, "dog", "short-haired dog", [1]).
rule(2, "dog", "long-haired dog", [2]).
rule(3, "short-haired dog","English Bulldog ", [3,5,7]).
rule(4, "short-haired dog","Beagle", [3,6,7]).
rule(5, "short-haired dog","Great Dane", [5,6,7,8]).
rule(6, "short-haired dog","American Foxhound",[4,6,7]).
rule(7, "long-haired dog", "Cocker Spaniel", [3,5,6,7]).
rule(8, "long-haired dog", "Irish Setter", [4,6]).
rule(9, "long-haired dog", "Collie", [4,5,7]).
rule(9, "long-haired dog", "St. Bernard", [5,7,8]).
cond(1, "short-haired").
cond(2, "long-haired").
cond(3, "height under 22 inches").
cond(4, "height under 30 inches").
cond(5, "low-set tail").
cond(6, "longer ears").
cond(7, "good natured personality").
cond(8, "weight over 100 lb").