Непроцедурной язык, который позволяет пользователю указать набор правил и выражения запросов или проблемы, которые используют эти правила.