Universal Quantification (cont.)
Quantification in preconditions/goals:
(define (operator cleanup)
:parameters (?l)
:precondition
(forall (fragile ?x)
(when (and (at ?x ?l)
(broken ?x))
(recycled ?x)))
:effect
(tidy ?l))
Previous slide
Next slide
Back to first slide
View graphic version