Una lingua nonprocedural che permette all'utente di dichiarare una serie di fatti e di esprimere le query o problemi che utilizzano questi fatti.