Nonprocedural jazyk, ktorý umožňuje užívateľovi, aby stanovila pravidlá a vyjadriť otázky alebo problémy, ktoré používajú tieto pravidlá.