First compile the KORE/IE program using the Prolog compiler,  then
test it:
 


| ?- load mb.
[load mb.rule]
Congratulations        end...
Impossible        end...
On__Floor        end...
On__Floor_Satisfied        end...
On__Phys_Object        end...
On__Phys_Object_Holds        end...
On__Phys_Object_At_Monkey        end...
On__Phys_Object_Satisfied        end...
Holds__nothing        end...
Holds__nothing_Satisfied        end...
Holds__Object_Ceil        end...
Holds__Object_Ceil_On        end...
Holds__Object_Ceil_At_Obj        end...
Holds__Object_NotCeil        end...
Holds__Object_Not_Ceil_On        end...
Holds__Object_NotCeil_At_Monkey        end...
Holds__Object_Holds        end...
Holds__Object_Satisfied        end...
At__Object        end...
At__Object_On_floor        end...
At__Object_Holds        end...
At__Object_Satisfied        end...
At__Monkey        end...
At__Monkey_Object        end...
At__Monkey_On        end...
At__Monkey_Satisfied        end...
Start        end...
mb loaded 31256 bytes used 1400 msec...

yes
| ?- make(testcase(type=1)).

yes
| ?- run.
Start : [394295]
Holds__Object_Ceil_At_Obj : [554243,524244,534243]
At__Object_Holds : [564244,534243,544244]
Holds__Object_NotCeil_At_Monkey : [574244,534243,544244]
At__Monkey_On : [594244,544244]
On__Floor : [604246,544244]

Jump onto the floor

At__Monkey_Object : [594244,634244,534244]

Walk to 4-3 carrying blanket

Holds__Object_Holds : [574244,534243,684243]
Holds__nothing : [724244,684243,704243]

Drop blanket

Holds__Object_NotCeil : [574244,534243,774243]

Grab ladder

At__Object : [564244,844243,824243]

Move ladder to 9-9

Holds__Object_Holds : [554243,524244,894243]
Holds__nothing : [924245,894243,884243]

Drop ladder

Holds__Object_Ceil_On : [554243,524244,994243,984243]
On__Phys_Object : [14245,994243,984243]

Climb onto ladder

Holds__Object_Ceil : [554243,524244,994243,54243]

Grab bananas

Congratulations : [394295,974243]

CONGRATULATIONS the goals are satisfied
End ... Explicit STOP

yes
| ?-


If you get the same output as above, then ops5 is working.

Good luck.






