O limbă nonprocedural, care permite utilizatorului să declare un set de fapte şi să-şi exprime interogări sau probleme care utilizează aceste fapte.