Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas, la lógica y los fundamentos de su automatización: alumnos de primeros cursos de Lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo, se ha procurado que el material elegido sea homogéneo y riguroso.
El lector comienza el tránsito a lo largo de una línea de la que no se separará y que le conduce con claridad hasta los fundamentos y las primeras nociones de la programación lógica y PROLOG. Para el camino se le proporciona todo el conocimiento necesario, tendrá que asomarse a nuevos sistemas formales con su correspondiente teoría y nada será superfluo porque pronto verá cómo dicha teoría tiene la potencia necesaria para ir haciendo la Lógica cada vez más algorítmica.
Aprenderemos a verificar con precisión y rigor por que son realmente válidos los teoremas, estamos así en pleno centro de las teorías de primer orden, la base de toda lógica; aparecen sus raíces sanas y fuertes por su papel en el desarrollo de la ciencia moderna.
El autor ha hecho de estas primeras nociones una base para el desarrollo del texto a partir de su propio trabajo científico y experiencia docente en Lógica.
Conozca
La sintaxis de la lógica que la capacita para deducir teoremas.
Su semántica que hace que esos teoremas valgan a la hora de resolver un problema.
La reducción de la sintaxis a cláusulas con las que el método de resolución puede hacer demostraciones lógicas y procedurales.
