Promedio de descarga/visualización de los códigos de Prolog

Tutorial de Prolog en formato pdf. Realizado por Angel Fernández Pineda. Contiene 22 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.

Manual práctico de programación en Prolog. En formato pdf. Contiene 31 páginas. Realizado por Jose Emilio Labra Gayo (Universidad de Oviedo)

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.

Manual de introducción a prolog en formato pdf.

Implementación de gramáticas de cláusulas definidas en Prolog.

Completo manual de SWI Prolog. En formato HTML. Dividido en 10 secciones.

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.

Manual basico de programacion en castellano

Manual en formato pdf de Prolog. Dividido en ocho secciones. Contiene 40 páginas.

Este curso avanzado de programación en Prolog constituye la tercera entrega de una serie de cursillos orientados a aquellas personas que desconocen la programación declarativa relacional y su lenguaje rey: Prolog.

Curso de nivel intermedio de Prolog dividido en seis apartados (introducción y licencia de uso, tipos de datos, tests de tipo, el corte, algoritmos y técnicas de programación, Entrada/Salida).

Guía de usuario de Prolog.

Curso de introducción a Prolog en formato pdf. Contiene 27 páginas.

Este curso intermedio de programación en Prolog constituye la segunda entrega de una serie de cursillos orientados a aquellas personas que desconocen la programación declarativa relacional y su lenguaje rey: Prolog.

Este curso avanzado de programación en Prolog constituye la tercera entrega de una serie de cursillos orientados a aquellas personas que desconocen la programación declarativa relacional y su lenguaje rey: Prolog.

Manual de referéncia de SICStus Prolog. En formato HTML.