Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas. Ejemplos: Prolog, Lisp.
Wikimedia foundation. 2010.
Probador de Teoremas Lógicos — Probador de Teoremas Lógicos:Metodología o programa (software), que rechaza o acepta un teorema en base a un conjunto de reglas predefinidas. Ejemplos: Prolog, Lisp … Enciclopedia Universal
Prolog — El Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique,[1] es un lenguaje de programación lógico e interpretado, bastante conocido en el medio de investigación en Inteligencia Artificial. Contenido 1 Historia 2 Vue … Wikipedia Español
