Nonprocedural мова, що дозволяє користувачеві оголосити набір фактів і Експрес запит або проблеми, які використовують ці факти.