API tools faq
paste
Advertisement
logicmoo

OntoAble

logicmoo
Apr 17th, 2018
420
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 8.03 KB | None | 0 0
raw download clone embed print report
  1. baseKB:  ?- mpred_why(baseKB:localityOfObject(iBathTub7,iBathroom7)).
  2. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  3. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  4.  
  5. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  6.  
  7. % user_input: $stream_position(714134,7840,4,714136)
  8.  
  9. Justifications for localityOfObject(iBathTub7,iBathroom7):
  10.  
  11.     1.1 mfl(baseKB,user_input,_)
  12.     2.1 mudAtLoc(iBathTub7,xyzFn(iBathroom7,2,2,1)) % [user_input:$stream_position(560126,6148,0,560128)]
  13.     2.2 mudAtLoc(W4,xyzFn(X4,_,_,_))==>localityOfObject(W4,X4) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:263]
  14.     3.1 locatedAtPrep(iBathTub7,iBathroom7,localityOfObject) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/actions/use.pfc.pl:_16366486]
  15.     3.2 localityOfObject(W4,X4)<==>locatedAtPrep(W4,X4,localityOfObject) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16366906]
  16.     3.3 localityOfObject(iBathTub7,iBathroom7) % [user_input:_16370640]
  17.     3.4 locObjBasePred(localityOfObject) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/actions/use.pfc.pl:39]
  18.     3.5 locObjBasePred(W4)==>t(W4,X4,Y4)<==>locatedAtPrep(X4,Y4,W4) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/actions/use.pfc.pl:67]
  19. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  20. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  21.  
  22. true.
  23.  
  24. baseKB:  ?- % maybe_call(get2react([nick,"physicist__","~physicist@ip127-8-212-87.adsl2.static.versatel.nl","*","##prolog","gentooisforricer"])).
  25. baseKB:  ?- mpred_why(baseKB:mudIsa(iBathTub7,tOntoAble)).
  26. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  27. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  28.  
  29. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  30.  
  31. % user_input: $stream_position(715879,7864,4,715881)
  32.  
  33. Justifications for mudIsa(iBathTub7,tOntoAble):
  34.  
  35.     1.1 mudIsa(iBathTub7,tFurnature) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_genls.pfc.pl:_16421804]
  36.     1.2 mudIsa(X4,W4),genls(W4,Y4)==>mudIsa(X4,Y4) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_genls.pfc.pl:66]
  37.     1.3 isa(iBathTub7,tFurnature) % [/opt/logicmoo_workspace/packs_sys/pfc/prolog/pfclib/system_base.pfc.pl:_16422434]
  38.     1.4 isa(iBathTub7,W4)/(\+rtAvoidForwardChain(W4))==>mudIsa(iBathTub7,W4) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16424354]
  39.     1.5 mfl(baseKB,/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl,508)
  40.     1.6 completeIsaAsserted(iBathTub7) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_genls.pfc.pl:_16428188]
  41.     1.7 completeIsaAsserted(W4)==>(isa(W4,X4)/(\+rtAvoidForwardChain(X4))==>mudIsa(W4,X4)) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_genls.pfc.pl:65]
  42.     1.8 tSpatialThing(iBathTub7) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:_16428830]
  43.     1.9 tSpatialThing(W4)==>completeIsaAsserted(W4) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/mud_builtin.pfc.pl:419]
  44.     1.10 tItem(iBathTub7) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:_16431124]
  45.     1.11 tItem(W4)==>tSpatialThing(W4) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16433076]
  46.     1.12 tFurnature(iBathTub7) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/mud_builtin.pfc.pl:_16436810]
  47.     1.13 tFurnature(W4)==>tItem(W4) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16440324]
  48.     1.14 genls(tItem,tSpatialThing) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/mud_builtin.pfc.pl:783]
  49.     1.15 genls(W4,X4)/(W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4)) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16444266]
  50.     1.16 tBathroomFurnature(iBathTub7)
  51.     1.17 tBathroomFurnature(W4)==>tFurnature(W4) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16448040]
  52.     1.18 genls(tFurnature,tItem) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/mud_builtin.pfc.pl:1051]
  53.     1.19 \+tooSlow % [-7.7.11/boot/init.pl:337]
  54.     1.20 \+tooSlow==>(genls(W4,X4)/(W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4))) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:350]
  55.     1.21 tBathTub(iBathTub7) % [/home/prologmud_server/src_game_nani/objs_misc_household.pfc.pl:186]
  56.     1.22 tBathTub(W4)==>tBathroomFurnature(W4) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16452890]
  57.     1.23 genls(tBathroomFurnature,tFurnature) % [/home/prologmud_server/src_game_nani/objs_misc_household.pfc.pl:120]
  58.     1.24 mfl(baseKB,/opt/logicmoo_workspace/packs_sys/pfc/prolog/pfclib/system_base.pfc.pl,327)
  59.     1.25 genls(tBathTub,tBathroomFurnature) % [/home/prologmud_server/src_game_nani/objs_misc_household.pfc.pl:157]
  60.     2.1 isa(iBathTub7,tOntoAble) % [/opt/logicmoo_workspace/packs_sys/pfc/prolog/pfclib/system_base.pfc.pl:_16457510]
  61.     2.2 isa(iBathTub7,W4)/(\+rtAvoidForwardChain(W4))==>mudIsa(iBathTub7,W4) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16459430]
  62.     2.3 mfl(baseKB,/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl,508)
  63.     2.4 completeIsaAsserted(iBathTub7) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_genls.pfc.pl:_16463204]
  64.     2.5 completeIsaAsserted(W4)==>(isa(W4,X4)/(\+rtAvoidForwardChain(X4))==>mudIsa(W4,X4)) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_genls.pfc.pl:65]
  65.     2.6 tSpatialThing(iBathTub7) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:_16463846]
  66.     2.7 tSpatialThing(W4)==>completeIsaAsserted(W4) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/mud_builtin.pfc.pl:419]
  67.     2.8 tItem(iBathTub7) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:_16466140]
  68.     2.9 tItem(W4)==>tSpatialThing(W4) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16468092]
  69.     2.10 tFurnature(iBathTub7) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/mud_builtin.pfc.pl:_16471826]
  70.     2.11 tFurnature(W4)==>tItem(W4) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16475340]
  71.     2.12 genls(tItem,tSpatialThing) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/mud_builtin.pfc.pl:783]
  72.     2.13 genls(W4,X4)/(W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4)) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16479282]
  73.     2.14 tBathroomFurnature(iBathTub7)
  74.     2.15 tBathroomFurnature(W4)==>tFurnature(W4) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16483056]
  75.     2.16 genls(tFurnature,tItem) % [/opt/logicmoo_workspace/packs_sys/prologmud/prolog/prologmud/mud_builtin.pfc.pl:1051]
  76.     2.17 \+tooSlow % [-7.7.11/boot/init.pl:337]
  77.     2.18 \+tooSlow==>(genls(W4,X4)/(W4\=X4)==>(isa(Y4,W4)==>isa(Y4,X4))) % [/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:350]
  78.     2.19 tBathTub(iBathTub7) % [/home/prologmud_server/src_game_nani/objs_misc_household.pfc.pl:186]
  79.     2.20 tBathTub(W4)==>tBathroomFurnature(W4) % [/opt/logicmoo_workspace/packs_sys/xlisting_web/prolog/xlisting_web.pl:_16487906]
  80.     2.21 genls(tBathroomFurnature,tFurnature) % [/home/prologmud_server/src_game_nani/objs_misc_household.pfc.pl:120]
  81.     2.22 mfl(baseKB,/opt/logicmoo_workspace/packs_sys/pfc/prolog/pfclib/system_base.pfc.pl,327)
  82.     2.23 genls(tBathTub,tBathroomFurnature) % [/home/prologmud_server/src_game_nani/objs_misc_household.pfc.pl:157]
  83. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  84. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  85.  
  86. true.
  87.  
  88. baseKB:  ?- % maybe_call(get2react([nick,"gentooisforricer","~physicist@ip127-8-212-87.adsl2.static.versatel.nl","*","##prolog","physicist__"])).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!