Estadísticas del PDF: Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)

Deducción automática

(Vol. 1: Construcción lógica de sistemas lógicos)

José A. Alonso Jiménez y Joaquín Borrego Díaz

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

Universidad de Sevilla

30 de diciembre de 2002

2

Índice General

Prólogo

1 Prólogo

2 Introducción a la programación lógica con Prolog

2.2 Listas

2.1 El sistema deductivo de Prolog . . . . . . . . . . . . . . . . . .
. . . . . . . .
2.1.1 Deducción Prolog en lógica proposicional
2.1.2 Deducción Prolog en lógi...