Μια nonprocedural γλώσσα που επιτρέπει στο χρήστη να δηλώσει ένα σύνολο γεγονότων και να εκφράσει τα ερωτήματα ή προβλήματα που χρησιμοποιούν αυτά τα γεγονότα.