Programmation Logique

Base de règles

Collection de clauses de Horn définissant les relations logiques et les implications permettant d'inférer de nouveaux faits à partir des faits existants.

← رجوع