PROgramming in LOGic. Deklarative Programmiersprache, die zur Lösung von Problemen aus dem Bereich der KI eingesetzt wird, entwickelt vom ICOT. Deklarative Sprachen beschreiben die vom Programm zu lösende Aufgabe, der Lösungsweg (Algorithmus) muss nicht definiert werden. Daher spricht man auch von logischer oder symbolischer Programmiersprache. Programmschritte und Kontrollstrukturen sind bei PROLOG nicht der zentrale Punkt. PROLOG arbeitet mit Fakten und Regeln. Fakten beschreiben Eigenschaften konkreter Objekte und ihre Beziehungen untereinander, Regeln leiten aus bestehenden Fakten neue Fakten ab. Dieser Inferenz-Mechanismus kann Lösungswege praktisch selbstständig finden.