Изменения
→Синтаксис
==Синтаксис==
Программа на Datalog - набор '''отношений''': Отношение на языке Datalog определяется так: <code>Отношение(x1,x2...xn) :- Цель.</code>
'''Цель''' в свою очередь - Набор это набор '''атомов''', перечисленных через запятую
===Атом===
Атомы бывают двух типов
====Реляционный====
Аналог конструкции условия принадлежности из исчисления доменов.
