:
Ans = ["b", "=",...]
Res = program([assign("b", int(2)), if_then_else(var("b"),
assign("a",int(1))........])
8.1. () (), , , .
8.2. (). , , , . [,,,,].
8.3. (1, 2) 0 9 .
,
([3,1,7],[,,])
8.4. (1, ˳), ˳ - , , .
:
goal: ([a,d,[c,d],[],[[[e]]],f],L).
L=[a,b,c,d,e,f].
9. Ͳ Dz.
.
9.1. .
. , , . . not. :
goal: run.
Has it hair?
Yes
does it eat meat?
Yes
has it a fawn color?
Yes
has it dark spots?
Yes
Your animal may be a (an) cheetah!
. , - . 9.1.
Database
Xpositive(symbol, symbol)
Xnegative(symbol, symbol)
Predicates
Animal_is(symbol)
It_is(symbol)
Ask(symbol, symbol, symbol)
Remember(symbol, symbol, symbol)
Positive(symbol, symbol)
Negative(symbol, symbol)
Clear_facts
Run
Clauses
animal_is(cheetah):- it_is(mammal),
It_is(carnivore),
Positive(has, tawny_color),
Positive(has, dark_spots).
animal_is(tiger):- it_is(mammal),
It_is(carnivore),
Positive(has, tawny_color),
Positive(has, black_stripes).
animal_is(giraffe):- it_is(ungulate),
Positive(has, long_neck),
Positive(has, long_legs),
Positive(has, dark_spots).
animal_is(zebra):- it_is(ungulate),
Positive(has,black_stripes).
animal_is(ostrich):- it_is(bird),
Negative(does, fly),
Positive(has, long_neck),
Positive(has, long_legs),