Estadísticas del PDF: Tema 1: El sistema deductivo de Prolog

Programación lógica

Curso 2002–03

Tema 1: El sistema deductivo

de Prolog

José A. Alonso Jiménez

[email protected]
http://www.cs.us.es/∼jalonso

Dpto. de Ciencias de la Computación e Inteligencia Artificial

Universidad de Sevilla

PL 2002–03

CcIa

El sistema deductivo de Prolog

1.1

Objetivos del curso
x Lógica como:
u sistema de especificación y
u lenguaje de programación
x Principios:
u Programas = Teorías
u Ejecución = Búsqueda de pruebas
u Programación = Modelización
x Prolo...