Екатерина_max

1. Задача о покушении на Цезаря
Можно ли из следующей совокупности утверждений:
(F1) Марк был римлянином
(F2) Цезарь был диктатором
(F3) Те римляне, которые ненавидели диктатора, пытались убить его
(F4) Римляне либо были преданы диктатору, либо ненавидели его
(F5) Марк не был предан Цезарю
вывести доказательство того, что Марк пытался убить Цезаря?
Указание:
• для каждого из подчёркнутых отношений/свойств создать предикат (их будет 6)
• будет 5 одноместных предикатов на свойства и один двухместный на фразу «они пытались убить его» - try_kill(symbol кто_пытался_убить, symbol кого_пытались_убить)
• утверждениям F1, F2, F5 соответствуют факты, F3 – правило
• утверждению соответствуют F4 – два правила: 1) некто предан диктатору, если он римлянин и не ненавидит диктатора; 2) некто ненавидит диктатора, если он римлянин и не предан диктатору

Мое решение:
predicates
nondeterm rim(symbol).
nondeterm ****(symbol).
nondeterm nepred_love_****(symbol).
nondeterm nenav_****(symbol).
nondeterm love_****(symbol).
nondeterm try_kill(symbol,symbol).
clauses
rim(mark).
****(cezar).
nenav_****(rim).
love_****(rim).
nepred_love_****(mark).
try_kill(rim,****).
try_kill(X,****):-nenav_****(X),rim(X).
love_****(Y):-rim(Y),not(nenav_****(Y)).
nenav_****(X):-rim(X),nepred_love_****(X).
goal
try_kill(mark,cezar).

Задача2.
Классификация на два множества. Есть два множества: животных и растений. Любой объект может быть либо животным, либо растением. Известно, что собака и птица – животные, дерево – растение, кошка и муха – не растения. Проверить истинность утверждений:
а)Муха – животное
Мое решенеи:
predicates
nondeterm rast (symbol).
nondeterm zhiv (symbol).
clauses
zhiv(dog).
zhiv(ptic).
rast(derevo).
zhiv(X):-not(rast(X)).
rast(X):-not(zhiv(X)).
rast(X):-X=cat,!,fail.
rast(X):-X=muha,!,fail.
goal
zhiv(muha).