Изменения

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

'''Цель''' в свою очередь - это набор '''атомов''', перечисленных через запятую. Кортеж удовлетворяет цели, если он удовлетворяет всем атомам цели.