Nonprocedural języka, który pozwala użytkownikowi zadeklarować to zbiór faktów i wyrazić pytania lub problemy, które używają tych faktów.