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