Programación Lógica

Base de reglas

Colección de cláusulas de Horn que definen las relaciones lógicas y las implicaciones que permiten inferir nuevos hechos a partir de los existentes.

← Volver