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