« Introduction aux notions de logique et programmation logique/Présentation du cours » : différence entre les versions
Contenu supprimé Contenu ajouté
correction orthographe/grammaire |
m catégorisation |
||
Ligne 8 :
* élimination des quantificateurs, unification, résolution ;
* langage Prolog: faits, règles, fonctionnement de l'interprète, coupure, négation.
[[Catégorie:Introduction aux notions de logique et programmation logique]]
|