Ein Programmierparadigma, das auf formaler Logik basiert. Programme werden als eine Menge von logischen Aussagen (Fakten und Regeln) geschrieben, und die Ausführung besteht darin, Anfragen durch logische Schlussfolgerungen (Inferenz) auf Basis dieser Aussagen zu beantworten. Prolog ist eine bekannte Logikprogrammiersprache.