Prolog (o PROLOG), proveniente del francés "PROgrammation en LOGique", es un lenguaje de programación lógico e interpretado usado habitualmente en el campo de la Inteligencia artificial.