Curso de Prolog - Introducción a Prolog

Titulo:internet

Introducción a Prolog

Autor:Forma parte de zshare
Lenguaje:Prolog
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.
Comentarios: 0 Comentar  

Si no se abre el curso automáticamente, pulsa aquí.

Si el enlace es erroneo, comentanoslo aquí.