Advertisement
logicmoo

Untitled

Jun 4th, 2018
309
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 8.58 KB | None | 0 0
  1. true.
  2.  
  3. ?- ls.
  4. % bounty0500_tests.pl     bounty2000_tests.pl     pddl_files/             README.md
  5. % bounty1000_tests.pl     domains_ocl/            prolog_files/           uw-yale-pddl/
  6. true.
  7.  
  8. ?- [bounty0500_tests].
  9. % g(optic_workspace(add,delrob_problem)).
  10. % 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))]])).
  11. % 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))]])).
  12. % 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))]])).
  13. % 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)]])).
  14. % g(optic_predicate(add,delrob_repeat_after_step_1,carrying(_916,_938))).
  15. % g(optic_predicate(add,delrob_repeat_after_step_1,sitting_at(_916,_938))).
  16. % g(optic_predicate(add,delrob_repeat_after_step_1,unlocked(_896))).
  17. % g(optic_derived(add,delrob_repeat_after_step_1,at(_1012,_1034),[sitting_at(_1012,_1034)])).
  18. % g(optic_derived(add,delrob_repeat_after_step_1,at(_1184,_1206),[autonomous(_1228),_1228\=_1184,carrying(_1228,_1184),at(_1228,_1206)])).
  19. % g(optic_object(add,delrob_repeat_after_step_1,o109)).
  20. % g(optic_init(add,delrob_repeat_after_step_1,location(o109))).
  21. % g(optic_object(add,delrob_repeat_after_step_1,o103)).
  22. % g(optic_init(add,delrob_repeat_after_step_1,location(o103))).
  23. % g(optic_object(add,delrob_repeat_after_step_1,storage)).
  24. % g(optic_init(add,delrob_repeat_after_step_1,location(storage))).
  25. % g(optic_object(add,delrob_repeat_after_step_1,o111)).
  26. % g(optic_init(add,delrob_repeat_after_step_1,location(o111))).
  27. % g(optic_object(add,delrob_repeat_after_step_1,mail)).
  28. % g(optic_init(add,delrob_repeat_after_step_1,location(mail))).
  29. % g(optic_object(add,delrob_repeat_after_step_1,lab2)).
  30. % g(optic_init(add,delrob_repeat_after_step_1,location(lab2))).
  31. % g(optic_object(add,delrob_repeat_after_step_1,o109)).
  32. % g(optic_object(add,delrob_repeat_after_step_1,o103)).
  33. % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o109,o103))).
  34. % g(optic_object(add,delrob_repeat_after_step_1,o103)).
  35. % g(optic_object(add,delrob_repeat_after_step_1,o109)).
  36. % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o103,o109))).
  37. % g(optic_object(add,delrob_repeat_after_step_1,o109)).
  38. % g(optic_object(add,delrob_repeat_after_step_1,storage)).
  39. % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o109,storage))).
  40. % g(optic_object(add,delrob_repeat_after_step_1,storage)).
  41. % g(optic_object(add,delrob_repeat_after_step_1,o109)).
  42. % g(optic_init(add,delrob_repeat_after_step_1,adjacent(storage,o109))).
  43. % g(optic_object(add,delrob_repeat_after_step_1,o109)).
  44. % g(optic_object(add,delrob_repeat_after_step_1,o111)).
  45. % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o109,o111))).
  46. % g(optic_object(add,delrob_repeat_after_step_1,o111)).
  47. % g(optic_object(add,delrob_repeat_after_step_1,o109)).
  48. % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o111,o109))).
  49. % g(optic_object(add,delrob_repeat_after_step_1,o103)).
  50. % g(optic_object(add,delrob_repeat_after_step_1,mail)).
  51. % g(optic_init(add,delrob_repeat_after_step_1,adjacent(o103,mail))).
  52. % g(optic_object(add,delrob_repeat_after_step_1,mail)).
  53. % g(optic_object(add,delrob_repeat_after_step_1,o103)).
  54. % g(optic_init(add,delrob_repeat_after_step_1,adjacent(mail,o103))).
  55. % g(optic_object(add,delrob_repeat_after_step_1,lab2)).
  56. % g(optic_object(add,delrob_repeat_after_step_1,o109)).
  57. % g(optic_init(add,delrob_repeat_after_step_1,adjacent(lab2,o109))).
  58. % g(optic_derived(add,delrob_repeat_after_step_1,adjacent(_1084,_1106),[blocks(_1128,_1084,_1106),unlocked(_1128)])).
  59. % g(optic_object(add,delrob_repeat_after_step_1,door1)).
  60. % g(optic_object(add,delrob_repeat_after_step_1,o103)).
  61. % g(optic_object(add,delrob_repeat_after_step_1,lab2)).
  62. % g(optic_init(add,delrob_repeat_after_step_1,blocks(door1,o103,lab2))).
  63. % g(optic_object(add,delrob_repeat_after_step_1,k1)).
  64. % g(optic_object(add,delrob_repeat_after_step_1,door1)).
  65. % g(optic_init(add,delrob_repeat_after_step_1,opens(k1,door1))).
  66. % g(optic_object(add,delrob_repeat_after_step_1,rob)).
  67. % g(optic_init(add,delrob_repeat_after_step_1,autonomous(rob))).
  68. % g(optic_object(add,delrob_repeat_after_step_1,rob)).
  69. % g(optic_object(add,delrob_repeat_after_step_1,o109)).
  70. % g(optic_init(add,delrob_repeat_after_step_1,sitting_at(rob,o109))).
  71. % g(optic_object(add,delrob_repeat_after_step_1,parcel)).
  72. % g(optic_object(add,delrob_repeat_after_step_1,storage)).
  73. % g(optic_init(add,delrob_repeat_after_step_1,sitting_at(parcel,storage))).
  74. % g(optic_object(add,delrob_repeat_after_step_1,k1)).
  75. % g(optic_object(add,delrob_repeat_after_step_1,mail)).
  76. % g(optic_init(add,delrob_repeat_after_step_1,sitting_at(k1,mail))).
  77. % g(optic_get_plan(delrob_problem,at(parcel,o111),[s1,s2,s3])).
  78. % plan=[s1,s2,s3].
  79. % g(optic_apply_step(delrob_problem,s1,delrob_problem_after_step_1)).
  80. % g(optic_get_plan(delrob_problem_after_step_1,at(parcel,o111),[s1,s2,s3])).
  81. % nextplan=[s1,s2,s3].
  82. ERROR: /opt/logicmoo_workspace/packs_sys/pddl_valoptic_api/t/bounty0500_tests.pl:14:
  83.         Assertion failed: user:([s2,s3]=[s1,s2,s3])
  84.   [37] backtrace(10) at /opt/logicmoo_workspace/lib/swipl-7.7.12/library/prolog_stack.pl:451
  85.   [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
  86.   [35] prolog_debug:assertion(user:([s2,s3]=[s1,s2,s3])) at /opt/logicmoo_workspace/lib/swipl-7.7.12/library/debug.pl:314
  87.   [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
  88.   [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
  89.   [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
  90.   [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
  91.   [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
  92.   [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
  93.   [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
  94.  
  95. Note: some frames are missing due to last-call optimization.
  96. Re-run your program in debug mode (:- debug.) to get more detail.
  97. ^  Exit: (35) [prolog_debug] prolog_debug:assertion(user:([s2, s3]=[s1, s2, s3])) ?
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement