Una llengua nonprocedural que permet l'usuari per un conjunt de regles de l'estat i d'expressar dubtes o problemes que utilitzen aquestes normes.