Estadísticas del PDF: Tema 1: Introducción a Prolog

Programación Declarativa

Curso 2002–03

Tema 1: Introducción a Prolog

José A. Alonso Jiménez

Miguel A. Gutiérrez Naranjo

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

Universidad de Sevilla

PD 2002–03

CcIa

Introducción a 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 Prolog = Programming in Logic
x Relaciones con ot...