Μια γλώσσα προγραμματισμού που χρησιμοποιήθηκαν για την εκφρασή προγράμματα όσον αφορά τις δομές ελέγχου και μια κλειστή κατηγορηματικού λογισμού; για παράδειγμα, ΠΡΌΛΟΓΟ.