Створення експертної системи
person(peter).
person(chris).
person(kate).
person(kate).
parent(chris, kate).
parent(chris, kate).
?- color(X, orange) , fruit(X).
Детективна історія: "Таємниця зниклого трофея"
Це був тихий вечір у міському центрі громади, де щойно закінчився щорічний конкурс талантів. Бажаний Золотий трофей стояв на подіумі, сяючи яскравим світлом. Але коли натовп розійшовся, а світло пригасло, сталося щось жахливе — трофей зник!
Детектив Пролог, найрозумніший слідчий у місті, отримав завдання розгадати цю загадку. Він знав одне: злодієм міг бути лише той, хто був на місці злочину і мав мотив його вкрасти. Але хто це був? Давайте розплутаємо цю історію.
Підозрювані та докази
Джордан (Jordan):
- Шанована особа в громаді.
- Не був помічений на місці злочину, але міг щось знати.
Кріс (Chris):
- Батько двох учасників конкурсу.
- Стверджує, що пішов раніше, щоб приготувати частування.
Алекс (Alex):
- Талановитий артист, який брав участь у конкурсі, але не виграв.
- Був помічений біля подіуму незадовго до зникнення трофея.
- Стверджує, що бачив Блейка біля подіуму.
- Мотив: засмутився через програш.
Блейк (Blake):
- Брат Алекса, активно підтримував/ла під час конкурсу.
- Стверджує, що вийшов робити фото, і бачив як Кейсі заходила.
- Має алібі.
Кейсі (Casey):
- Близький друг Блейка, великий фанат нагород.
- Діяла підозріло та казала, що хоче створити колекцію трофеїв.
- Була біля подіуму.
- Мотив: бажання мати трофей.
- Має алібі.
Сем (Sam):
- Дитина Алекса, яка гралася біля сцени під час заходу.
- Малий вік виключає його з підозрюваних, але він міг щось бачити.
Тейлор (Taylor):
- Інша дитина Алекса, яка весь час малювала.
- Найімовірніше, не має зв’язку зі злочином.
person(jordan).
person(chris).
person(alex).
person(blake).
person(casey).
person(sam).
person(taylor).
closer(alex).
closer(casey).
see(alex, blake).
see(blake, casey).
motive(alex).
motive(casey).
alibi(casey).
alibi(blake).
% ПРАВИЛА
suspect(X) :- person(X), motive(X), closer(X).
witness(X) :- person(X), see(X, _).
guilty(X) :- suspect(X), \+ alibi(X).