Subst. (inference programming) Eine Methode der Programmierung (z.B. in Prolog), bei der Programme auf der Basis logischer Inferenz aus einer Menge von Fakten und Regeln Ergebnisse liefern. Prolog ist eine Sprache, die direkt die Inferenzprogrammierung unterstützt. ® siehe auch Prolog.