База данных составляется с помощью предикатов, каждый из которых описывается множеством дизъюнктов:
Функтор(аргумент1, аргумент2, …):-условие1,условие2,… .
Где функтор- имя предиката;
Аргумент1,аргумент2- аргументы функтора, где запятые это разделители.
Функтор(аргумент1, аргумент2, …)- голова дизъюнкта;
Условие1, условие2 –условия истинности головы, где запятые означают связку И;
«:-»- обозначает если;
:- условие1,условие2,…-тело дизъюнкта.
Реализуется правило: Если истинны утверждения условие1 И условие2 И … ТО истинно утверждение
Функтор(аргумент1,аргумент2,…).
Концом каждого дизъюнкта является точка. Если опущены условия:
Функтор(аргумент1,аргумент2,…).
То есть, для истинности головы дизъюнкта нет условий, то такой дизъюнкт описывает факт.
Логическую функцию ИЛИ возможно реализовать так:
внутри дизъюнкта с помощью знака «;»:
функтор(аргумент1, аргумент2,…):-
(условие11,условие12,…);
(условие21, условие22,…).