DATALOG

tp, Supérieur, TP

• cours - matière potentielle : n°

1DATALOG NFP120 --- an 8 Spécification Logique et Validation des Programmes Séquentiels Cours n° 4 2 Faiblesses de ProPlog ProPlog permet d'exprimer paul_en_tp_CDI :- paul_a_CDL, paul_a_Syst . john_ en_tp_CDI :- john_a_CDL, john_a _Syst. ... mais pas ‘pour tout étudiant quelconque' étudiant__en_ tp_CDI :- étudiant__a_ CDL, étudiant__a_ Syst.

• sémantique logique
• vérité de proplog…
• interprétation de herbrand
• ttftttftt …
• faiblesses de proplog proplog
• portée de qx dans qx
• bp
• atomes
• atome
• variable
• variables
• interprétation
• interprétations