Subst. (logic programming) Eine Programmiertechnik, bei der ein Programm aus einer Sammlung von Fakten und Regeln besteht, auf deren Grundlage mit Hilfe der Programmiersprache eine Lösungsbeschreibung zum Ziehen von Schlüssen entwickelt wird. Die Sprache Prolog ist ein typischer Vertreter der Logikprogrammierung. ® siehe auch Prolog.