Μια γλώσσα προγραμματισμού που σχεδιάστηκε για να διευκολύνει το χειρισμό των δεδομένων που εκφράζεται με τη μορφή των καταλόγων. Παραδείγματα είναι η LISP και IPL.