« Introduction aux notions de logique et programmation logique/Présentation du cours » : différence entre les versions
Contenu supprimé Contenu ajouté
mise à jour |
m remplacement: [[Catégorie:{{BASEPAGENAME}}|{{SUBPAGENAME}}]] → {{AutoCat}} avec AWB |
||
Ligne 9 :
* langage Prolog: faits, règles, fonctionnement de l'interprète, coupure, négation.
{{AutoCat}}
|