Estadísticas del PDF: Tema 7: Implementación en Prolog de la resolución

Programación lógica

Curso 2002–03

Tema 7: Implementación en

Prolog de la resolución

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

Implementación en Prolog de la resolución

7.1

Introducción a la resolución
x Reducción de consecuencia lógica a inconsistencia de conjunto de
u Sea S un conjunto de fórmulas y F una fórmula. Son equivalentes:

cláusulas

•...