Nonprocedural jazyk, který umožňuje uživateli deklarovat řadu faktů a vyjadřovat, dotazy nebo problémy, které používají tyto fakta.