Een nonprocedural taal die de gebruiker toestaat om een reeks regels en express query's of problemen die deze regels gebruiken.