Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- true.
- ?- ls.
- % bounty0500_tests.pl bounty2000_tests.pl pddl_files/ README.md
- % bounty1000_tests.pl domains_ocl/ prolog_files/ uw-yale-pddl/
- true.
- ?- [bounty0500_tests].
- % g(optic_workspace(add,delrob_problem)).
- % g(optic_action(add,delrob_repeat_after_step_1,move(_2114,_2136,_2158),[precondition:[autonomous(_2114),adjacent(_2136,_2158),sitting_at(_2114,_2136)],effect:[sitting_at(_2114,_2158),not(sitting_at(_2114,_2136))]])).
- % g(optic_action(add,delrob_repeat_after_step_1,pickup(_1400,_1422),[precondition:[autonomous(_1400),_1400\=_1422,location(_1444),sitting_at(_1422,_1444),at(_1400,_1444)],effect:[pickup(_1400,_1422),carrying(_1400,_1422),not(sitting_at(_1422,_1444))]])).
- % g(optic_action(add,delrob_repeat_after_step_1,putdown(_1456,_1478,_1500),[precondition:[autonomous(_1456),_1456\=_1478,at(_1456,_1500),carrying(_1456,_1478)],effect:[sitting_at(_1478,_1500),not(carrying(_1456,_1478))]])).
- % g(optic_action(add,delrob_repeat_after_step_1,unlock(_1438,_1460),[precondition:[autonomous(_1438),blocks(_1460,_1482,_1504),opens(_1526,_1460),carrying(_1438,_1526),at(_1438,_1482)],effect:[unlocked(_1460)]])).
- % g(optic_predicate(add,delrob_repeat_after_step_1,carrying(_916,_938))).
- % g(optic_predicate(add,delrob_repeat_after_step_1,sitting_at(_916,_938))).
- % g(optic_predicate(add,delrob_repeat_after_step_1,unlocked(_896))).
- % g(optic_derived(add,delrob_repeat_after_step_1,at(_1012,_1034),[sitting_at(_1012,_1034)])).
- % g(optic_derived(add,delrob_repeat_after_step_1,at(_1184,_1206),[autonomous(_1228),_1228\=_1184,carrying(_1228,_1184),at(_1228,_1206)])).
- % g(optic_object(add,delrob_repeat_after_step_1,o109)).
- % g(optic_init(add,delrob_repeat_after_step_1,location(o109))).
- % g(optic_object(add,delrob_repeat_after_step_1,o103)).
- % g(optic_init(add,delrob_repeat_after_step_1,location(o103))).
- % g(optic_object(add,delrob_repeat_after_step_1,storage)).
- % g(optic_init(add,delrob_repeat_after_step_1,location(storage))).
- % g(optic_object(add,delrob_repeat_after_step_1,o111)).
- % g(optic_init(add,delrob_repeat_after_step_1,location(o111))).
- % g(optic_object(add,delrob_repeat_after_step_1,mail)).
- % g(optic_init(add,delrob_repeat_after_step_1,location(mail))).
- % g(optic_object(add,delrob_repeat_after_step_1,lab2)).
- % g(optic_init(add,delrob_repeat_after_step_1,location(lab2))).
- % g(optic_object(add,delrob_repeat_after_step_1,o109)).
- % g(optic_object(add,delrob_repeat_after_step_1,o103)).
- % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o109,o103))).
- % g(optic_object(add,delrob_repeat_after_step_1,o103)).
- % g(optic_object(add,delrob_repeat_after_step_1,o109)).
- % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o103,o109))).
- % g(optic_object(add,delrob_repeat_after_step_1,o109)).
- % g(optic_object(add,delrob_repeat_after_step_1,storage)).
- % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o109,storage))).
- % g(optic_object(add,delrob_repeat_after_step_1,storage)).
- % g(optic_object(add,delrob_repeat_after_step_1,o109)).
- % g(optic_init(add,delrob_repeat_after_step_1,adjacent(storage,o109))).
- % g(optic_object(add,delrob_repeat_after_step_1,o109)).
- % g(optic_object(add,delrob_repeat_after_step_1,o111)).
- % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o109,o111))).
- % g(optic_object(add,delrob_repeat_after_step_1,o111)).
- % g(optic_object(add,delrob_repeat_after_step_1,o109)).
- % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o111,o109))).
- % g(optic_object(add,delrob_repeat_after_step_1,o103)).
- % g(optic_object(add,delrob_repeat_after_step_1,mail)).
- % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o103,mail))).
- % g(optic_object(add,delrob_repeat_after_step_1,mail)).
- % g(optic_object(add,delrob_repeat_after_step_1,o103)).
- % g(optic_init(add,delrob_repeat_after_step_1,adjacent(mail,o103))).
- % g(optic_object(add,delrob_repeat_after_step_1,lab2)).
- % g(optic_object(add,delrob_repeat_after_step_1,o109)).
- % g(optic_init(add,delrob_repeat_after_step_1,adjacent(lab2,o109))).
- % g(optic_derived(add,delrob_repeat_after_step_1,adjacent(_1084,_1106),[blocks(_1128,_1084,_1106),unlocked(_1128)])).
- % g(optic_object(add,delrob_repeat_after_step_1,door1)).
- % g(optic_object(add,delrob_repeat_after_step_1,o103)).
- % g(optic_object(add,delrob_repeat_after_step_1,lab2)).
- % g(optic_init(add,delrob_repeat_after_step_1,blocks(door1,o103,lab2))).
- % g(optic_object(add,delrob_repeat_after_step_1,k1)).
- % g(optic_object(add,delrob_repeat_after_step_1,door1)).
- % g(optic_init(add,delrob_repeat_after_step_1,opens(k1,door1))).
- % g(optic_object(add,delrob_repeat_after_step_1,rob)).
- % g(optic_init(add,delrob_repeat_after_step_1,autonomous(rob))).
- % g(optic_object(add,delrob_repeat_after_step_1,rob)).
- % g(optic_object(add,delrob_repeat_after_step_1,o109)).
- % g(optic_init(add,delrob_repeat_after_step_1,sitting_at(rob,o109))).
- % g(optic_object(add,delrob_repeat_after_step_1,parcel)).
- % g(optic_object(add,delrob_repeat_after_step_1,storage)).
- % g(optic_init(add,delrob_repeat_after_step_1,sitting_at(parcel,storage))).
- % g(optic_object(add,delrob_repeat_after_step_1,k1)).
- % g(optic_object(add,delrob_repeat_after_step_1,mail)).
- % g(optic_init(add,delrob_repeat_after_step_1,sitting_at(k1,mail))).
- % g(optic_get_plan(delrob_problem,at(parcel,o111),[s1,s2,s3])).
- % plan=[s1,s2,s3].
- % g(optic_apply_step(delrob_problem,s1,delrob_problem_after_step_1)).
- % g(optic_get_plan(delrob_problem_after_step_1,at(parcel,o111),[s1,s2,s3])).
- % nextplan=[s1,s2,s3].
- ERROR: /opt/logicmoo_workspace/packs_sys/pddl_valoptic_api/t/bounty0500_tests.pl:14:
- Assertion failed: user:([s2,s3]=[s1,s2,s3])
- [37] backtrace(10) at /opt/logicmoo_workspace/lib/swipl-7.7.12/library/prolog_stack.pl:451
- [36] prolog_debug:assertion_failed(fail,user:([s2,s3]=[s1,s2,s3])) at /opt/logicmoo_workspace/lib/swipl-7.7.12/library/debug.pl:326
- [35] prolog_debug:assertion(user:([s2,s3]=[s1,s2,s3])) at /opt/logicmoo_workspace/lib/swipl-7.7.12/library/debug.pl:314
- [33] catch(user:(delrob_problem=delrob_problem,delrob_problem_after_step_1=delrob_problem_after_step_1,optic_get_plan(delrob_problem,at(parcel,o111),[s1,s2,s3]),optic_debug(plan=[s1,s2,s3]),optic_apply_step(delrob_problem,s1,delrob_problem_after_step_1),optic_get_plan(delrob_problem_after_step_1,at(parcel,o111),[s1,s2,s3]),optic_debug(nextplan=[s1,s2,s3]),assertion([s2,s3]=[s1,s2,s3])),_712,system:'$exception_in_directive'(_952)) at /opt/logicmoo_workspace/lib/swipl-7.7.12/boot/init.pl:372
- [32] '$execute_directive_3'((delrob_problem=delrob_problem,delrob_problem_after_step_1=delrob_problem_after_step_1,optic_get_plan(delrob_problem,at(parcel,o111),[s1,s2,s3]),optic_debug(plan=[s1,s2,s3]),optic_apply_step(delrob_problem,s1,delrob_problem_after_step_1),optic_get_plan(delrob_problem_after_step_1,at(parcel,o111),[s1,s2,s3]),optic_debug(nextplan=[s1,s2,s3]),assertion([s2,s3]=[s1,s2,s3]))) at /opt/logicmoo_workspace/lib/swipl-7.7.12/boot/init.pl:3100
- [27] '$load_file'('/opt/logicmoo_workspace/packs_sys/pddl_valoptic_api/t/bounty0500_tests.pl','/opt/logicmoo_workspace/packs_sys/pddl_valoptic_api/t/bounty0500_tests.pl',_1226,[expand(false),expand(true)]) at /opt/logicmoo_workspace/lib/swipl-7.7.12/boot/init.pl:2573
- [26] setup_call_catcher_cleanup(system:true,system:'$load_file'('/opt/logicmoo_workspace/packs_sys/pddl_valoptic_api/t/bounty0500_tests.pl','/opt/logicmoo_workspace/packs_sys/pddl_valoptic_api/t/bounty0500_tests.pl',_1300,[expand(false),expand(true)]),_1278,system:'$end_consult'(lexstate(202,swi),user)) at /opt/logicmoo_workspace/lib/swipl-7.7.12/boot/init.pl:444
- [22] '$do_load_file_2'(bounty0500_tests,'/opt/logicmoo_workspace/packs_sys/pddl_valoptic_api/t/bounty0500_tests.pl',user,compiled,[expand(false),expand(true)]) at /opt/logicmoo_workspace/lib/swipl-7.7.12/boot/init.pl:2189
- [19] '$mt_do_load'(<clause>(0xd96e50),bounty0500_tests,'/opt/logicmoo_workspace/packs_sys/pddl_valoptic_api/t/bounty0500_tests.pl',user,[expand(false),expand(true)]) at /opt/logicmoo_workspace/lib/swipl-7.7.12/boot/init.pl:2135
- [18] setup_call_catcher_cleanup(system:with_mutex('$load_file','$mt_start_load'('/opt/logicmoo_workspace/packs_sys/pddl_valoptic_api/t/bounty0500_tests.pl',<clause>(0xd96e50),[expand(false),expand(true)])),system:'$mt_do_load'(<clause>(0xd96e50),bounty0500_tests,'/opt/logicmoo_workspace/packs_sys/pddl_valoptic_api/t/bounty0500_tests.pl',user,[expand(false),expand(true)]),_1474,system:'$mt_end_load'(<clause>(0xd96e50))) at /opt/logicmoo_workspace/lib/swipl-7.7.12/boot/init.pl:444
- Note: some frames are missing due to last-call optimization.
- Re-run your program in debug mode (:- debug.) to get more detail.
- ^ Exit: (35) [prolog_debug] prolog_debug:assertion(user:([s2, s3]=[s1, s2, s3])) ?
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement