Estadísticas del PDF: Tema 6: Programación lógica de segundo orden

Programación Declarativa

Curso 2000–2001

Tema 6: Programación lógica de

segundo orden

José A. Alonso Jiménez
Miguel A. Gutiérrez Naranjo

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

Universidad de Sevilla

PD 2000–01

CcIa

Programación lógica de segundo orden

6.1

Modificación de la B.C.
x Predicados assert y retract
u assert(+Term) inserta un hecho o una cláusula en la

base de conocimientos. Term es insertado como última
cláusula del predicado correspondiente.

u retrac...