Nonprocedural jazyk, který umožňuje uživateli uvést soubor pravidel a vyjadřovat, dotazy nebo problémy, které tato pravidla.