
.action.1.17.source-code.monkey.query Maven / Gradle / Ivy
!(holds [!hasBananas && at(box,LBox) && at(bananas, LBanana) && !onBox && at(monkey,LBox)]) || necessarily [hasBananas] after {pushBox(LBanana),walk(LBanana)},{climbOn},{graspBananas} requires LBanana <> LBox
© 2015 - 2025 Weber Informatics LLC | Privacy Policy