Sprachen der 5.Generation gestatten das Beschreiben von Sachverhalten und Problemen. Programmiersprachen der 5. Generation sind entstanden, da herkömmliche Programmiersprachen den Anforderungen zur Programmierung künstlicher Intelligenz nicht gerecht wurden. z. B. LISP
Diese ist eine funktionsorientierte Programmiersprache. Bei dieser werden alle nötigen Funktionen aus Reihung, Auswahl und Wiederholung aufgebaut. LISP ist eine offene Sprache, die sich ständig erweitern lässt. Im Mittelpunkt steht die Anwendung bestimmter Funktionen auf Listen.
z. B. PROLOG
Diese basiert auf den Gesetzen der Logik und wird daher als logische Programmiersprache bezeichnet. Im Mittelpunkt stehen Funktionen, die die logischen Wahrheitswerte wahr oder falsch annehmen können. Diese Sprache hat sich aber gegen LISP nie durchsetzen können.