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