***** Sample Prodigy Operator *******
(OPERATOR CONDUCT-NEO
(params )
(preconds
(
( COUNTRY)
( (and LOCATION (diff )))
)
(and
(forall (( (and POPULATION
(gen-from-pred (citizen-of-US ))
(gen-from-pred (loc-at-p )))))
(loc-at-p ))
(forall (( (and COUNTRY
(diff )
(diff 'US)))
( (and POPULATION
(gen-from-pred
(citizen-of
))
(gen-from-pred (loc-at-p ))
(gen-from-pred
(member-of
designated-foreign-national-countries)))))
(loc-at-p ))
)
)
(effects
()
((add (is-evacuated ))))
)
(OPERATOR EVACUATE-NON-COMBATANTS-BY-AIRLIFT
(params )
(preconds
(( COUNTRY)
( (and COUNTRY
(diff )))
( (and COUNTRY
(diff )))
( LOCATION)
( AIRPORT)
( AIRLIFT)
)
(and
(loc-at )
(loc-at )
(near )
(is-deployed )
(is-secure )
)
)
(effects
(( POPULATION))
((if (and (loc-at-p ) (citizen-of ))
((add (loc-at-p ))
(del (loc-at-p ))))))
)