Example of JACK Plan

File: SolveRight.plan

public plan SolveRight extends Plan {

#handles event SolveDisc ev;

static boolean relevant(SolveDisc ev) {

return ev.movable;

}

#reads database Place place;

context() { place.get(ev.pin,ev.disc); }

#reasoning method

body() {}

}

Previous slide

Next slide

Back to first slide

View graphic version