На nonprocedural език, който позволява на потребителя да обяви набор от факти и да изразят въпроси или проблеми, които използват тези факти.