Introducción a la programación en Prolog publicado por el Departamento de Informática de la Universidad Nacional de San Luis, Argentina. En formato pdf. Contiene 13 páginas.
Este tutorial pretende ser una guía básica de introducción al lenguaje de programación Prolog. Se engloba dentro de una serie de cursos que pretende profundizar en la materia a medida que se adquiere dominio de dicho lenguaje.
Un programa PROLOG es un conjunto de axiomas en un lenguaje de primer orden.
Estos axiomas no pueden tomar una forma arbitraria, sino que tienen restricciones sintácticas importantes. No es posible escribir un programa PROLOG a partir de cualquier conjunto de axiomas de un lenguaje de primer orden. Por otra parte, PROLOG está extendido con características extra-lógicas, de modo que la relación que hay entre PROLOG y lógica de predicados no es obvia.