75 © Jérôme Lehuen - Université du Maine - 03/10/01 Écriture des conditions (4) Condition universelle : –Permet de tester si un ensemble de filtres es
{"Image DocumentName": "\u00c9criture des conditions (4)", "Image ImageDescription": "Condition universelle : Permet de tester si un ensemble de filtres est satisfait pour chaque occurrence d\u2019un autre filtre : <forall-CE> ::= (forall <conditional-element> <conditional-element>+) (defrule all-students-passed. ?but <- (bilan ?classe) (forall (eleve ?nom ?classe) (lecture-OK ?nom) (ecriture-OK ?nom) (math-OK ?nom)) => (retract ?but) (assert (bilan ?classe all-students-passed)))", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}