Нужна помощь с программой на Прологе

Я нов в Prolog и мне нужна помощь в том, как написать программу на Prolog. Вот что я пытаюсь сделать. Я скачал набор данных по этой ссылке – https://archive.ics.uci.edu/ml/datasets/Blood+Transfusion+Service+Center

Моя цель заключается в следующем

1. Использовать любой из алгоритмов дерева решений для построения дерева решений для данных
2. Создать правила из дерева решений.
3. Закодировать правила в базе знаний Prolog
4. Получить данные о доноре крови от пользователя и предсказать, если донор пожертвовал кровью в марте 2007 года.

Мне нужна помощь в том, с чего начать работу. Я разработал алгоритмы на Python и понимаю пункты #1 и #2, но не знаю, как работать с пунктами #3 и #4.

Я могу дать вам некоторые основы, но правильный способ сделать это – изучить язык Prolog, который очень отличается от любого другого языка программирования.

В Prolog вы определяете предикаты (аналогично функциям), которые содержат условия, при выполнении которых предикат будет истинным, например:

dt(Feat1, Feat2, Feat3, labelA) :-
    Feat1 =< 3,
    Feat2 == 'green',
    Feat3 >= 0.54.

dt(Feat1, Feat2, Feat3, labelB) :-
    Feat1 =< 3,
    Feat2 == 'green',
    Feat3 < 0.54.

dt(Feat1, Feat2, _Feat3, labelC) :-
    Feat1 > 3,
    Feat2 == 'green'.

dt(_Feat1, Feat2, _Feat3, labelB) :-
    Feat2 == 'blue'.

• Здесь предикат – dt и у него 4 клаузулы. Для того чтобы dt был истинным, хотя бы одна из клаузул должна быть истинной (то есть все содержащиеся в ней условия должны быть истинны).
• Переменные обозначаются с заглавной буквы, например Feat1, Feat2, Feat3. Prolog будет пытаться найти инстанцирование переменных, которое удовлетворяет одной из клаузул (на самом деле он пробует все возможности, пока одна из них не сработает, это решатель).
• В каждой клаузе выше метка – последний параметр предиката. В основном каждая клаузула означает “если все условия после :- истинны, тогда метка – labelX”.

Предполагая, что 4 клаузулы выше были сохранены в файле dt.pl, можно использовать, например, интерпретатор SWI Prolog так:

?- consult('dt.pl').
true.

Теперь способ использования этого игрушечного дерева решений будет следующим:

?- dt(4,'green',0.3, Label).
Label = labelC .

?- dt(4,'blue',0.3, Label).
Label = labelB.

• Обратите внимание на заглавную букву для Label: это значит, что теперь мы позволяем Prolog найти значение Label, которое удовлетворяет предикату dt с учетом предоставленных значений для признаков.

Это основная идея. Более продвинутое и более общее представление ДТ было бы возможно с использованием рекурсии и унификации, но это потребовало бы продвинутого понимания Prolog.

Prolog – это система доказательства теорем, использующая логики первого порядка – термин, который вы можете игнорировать пока. Лучше всего начинать, рассматривая Prolog как систему логического вывода, которая использует факты и правила, чтобы определить, можно ли вывести что-то интересующее из этой информации. Факты выражаются как

father(bill, ted).

Обратите внимание на строчную букву. Здесь father – это предикат, а bill, ted – атомы. Полезно думать о атомах как о константах. Является ли bill отцом ted или наоборот – это вопрос интерпретации. Вам нужно будет соблюдать идею о том, что, например, bill является отцом ted, через единообразное использование и интерпретацию. Неконсистентное использование является серьезным источником ошибок. Таким образом, другим фактом может быть

mother(sandra,ted).

Это приводит к следующему правилу: кто-то является родителем ted, если он его отец или мать, выраженное следующим образом:

parent(X,Y) :- father(X,Y).
parent(X,Y) :- mother(X,Y).

Обратите внимание на заглавную букву, которая используется для переменных. Prolog использует термин цель для чего-то, что должно быть удовлетворенным. Удовлетворение означает, что Prolog может найти достаточные факты, чтобы в конечном итоге определить значения (называемые привязками) для ваших переменных

Аналогично,

grandparent(X,Y) :- parent(X,Z), parent(Z,Y).

Запятая (“,”) здесь указывает на последовательное удовлетворение целей, при этом предыдущие привязки переменных (“инстанцирования” на языке Prolog) передаются вперед (подумаете об этом).

X = bill

?- father(bill, X).

X = ted

?- father(X, joe).

False

?- father(F, S).

F = bill, S = ted

?- parent(P, C).

P = bill, C = ted

P = sandra, C = ted