API tools faq
paste
Advertisement
logicmoo

Untitled

logicmoo
Feb 23rd, 2018
797
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 33.19 KB | None | 0 0
raw download clone embed print report
  1.  
  2.  
  3. swipl -f .swiplrc -g 'set_prolog_flag(runtime_testing,4)' -g "['birds_01b_01_in_user.pfc']" -g test_completed
  4. % /home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:110
  5. % baseKB:mpred_fwc1((~_2253414, _2253414==>{dmsg(warn(conflict(_2253414)))})).
  6. %       Adding positive
  7. %               trigger: ~_2260600
  8. %               body: mpred_positive_fact(_2260600)*->pt(_2260600,rhs([{dmsg(warn(conflict(_2260600)))}]))
  9. %        Support: (~_2257246,_2257246==>{dmsg(warn(conflict(_2257246)))}),mfl(baseKB,'/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',110)
  10. %       Found positive trigger: ~_2266360,_2266360==>{dmsg(warn(conflict(_2266360)))}
  11. %               body: mpred_positive_fact((~_2266360,_2266360==>{dmsg(warn(conflict(_2266360)))}))*->rhs([\+ ~ (~_2266360,_2266360==>{dmsg(warn(conflict(_2266360)))})])
  12. :- dynamic mpred_unload_option/2.
  13.  
  14.  
  15. % /home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:577
  16. % baseKB:mpred_fwc1(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never)).
  17. %       Found positive trigger: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  18. %               body: mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)])
  19. %               RHS-Withdrawing-Negation: \+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  20. %       Support: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never),pt(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never),(mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)])))
  21. % mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  22. :- dynamic mpred_unload_option/2.
  23.  
  24. mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never).
  25.  
  26. %     system_base.pfc compiled into system_base_lite 0.49 sec, 4 clauses
  27. % /home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl:137
  28. % baseKB:mpred_fwc1(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl', never)).
  29. %       Found positive trigger: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  30. %               body: mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)])
  31. %               RHS-Withdrawing-Negation: \+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  32. %       Support: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never),pt(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never),(mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)])))
  33. % mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  34. :- dynamic mpred_unload_option/2.
  35.  
  36. mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl', never).
  37. mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never).
  38.  
  39. %     system_mdefault.pfc compiled into baseKB 0.03 sec, 0 clauses
  40. %     system_module_inheritance.pfc compiled into baseKB 0.00 sec, 0 clauses
  41. %     system_singleValued.pfc compiled into baseKB 0.13 sec, 0 clauses
  42. %    pfclib/system_autoexec.pfc compiled into baseKB 0.72 sec, 4 clauses
  43. % Started at Tue Nov  7 15:24:04 2017
  44. % 4.513 seconds cpu time for 16,849,101 inferences
  45. % 14,822 atoms, 10,796 functors, 10,636 predicates, 197 modules, 521,536 VM-codes
  46. %
  47. %                        Limit    Allocated       In use
  48. % Local  stack: 16,000,004,096      258,048        6,440 Bytes
  49. % Global stack: 16,000,004,096   25,161,712   17,982,696 Bytes
  50. % Trail  stack: 16,000,002,048    6,289,400        2,024 Bytes
  51. %
  52. % 2 garbage collections gained 78,904 bytes in 0.000 seconds.
  53. % 1 atom garbage collections gained 8,010 atoms in 0.015 seconds.
  54. % 57 clause garbage collections gained 2,018 clauses in 0.003 seconds.
  55. % Stack shifts: 3 local, 11 global, 7 trail in 0.002 seconds
  56. % 2 threads, 0 finished threads used 0.000 seconds
  57. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:7
  58. % warn(mtHybrid(user)).
  59. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  60. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  61.  
  62. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  63.  
  64. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:27
  65.  
  66. Justifications for predicate_property(tBird(_4794460,_4794482),dynamic):
  67.  
  68.     1.1 predicate_property(tBird(W4,X4),dynamic):-nonvar(dynamic),!,property_predicate(dynamic,tBird(W4,X4)) % [/usr/lib/swi-prolog/boot/syspred.pl:772]
  69.     2.1 predicate_property(tBird(W4,X4),dynamic):-define_or_generate(tBird(W4,X4)),$predicate_property(dynamic,tBird(W4,X4)) % [/usr/lib/swi-prolog/boot/syspred.pl:772]
  70.     2.2 mfl($syspreds,/usr/lib/swi-prolog/boot/syspred.pl,776)
  71. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  72. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  73.  
  74. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:36
  75. % chilly is a penguin.
  76. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  77. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  78.  
  79. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  80.  
  81. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:39
  82.  
  83. Justifications for tBird(ext,iChilly):
  84.  
  85.     1.1 iza(iChilly,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_4884566]
  86.     1.2 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_4886924]
  87.     1.3 iza(iChilly,tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_4889282]
  88.     1.4 iza(W4,tPenguin)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_4891640]
  89.     1.5 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  90.     1.6 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  91.     1.7 tPenguin(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:37]
  92.     1.8 tPenguin(ext,W4)<==>iza(W4,tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_4894888]
  93.     1.9 genls(tPenguin,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:32]
  94.     1.10 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  95.     1.11 tType(tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:23]
  96. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  97. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  98.  
  99. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:42
  100. % tweety is a canary.
  101. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:45
  102. % make sure tweety is a bird
  103. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  104. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  105.  
  106. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  107.  
  108. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:46
  109.  
  110. Justifications for tBird(ext,iTweety):
  111.  
  112.     1.1 iza(iTweety,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_4927152]
  113.     1.2 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_4929510]
  114.     1.3 iza(iTweety,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_4931868]
  115.     1.4 iza(W4,tCanary)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_4934226]
  116.     1.5 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  117.     1.6 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  118.     1.7 tCanary(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:43]
  119.     1.8 tCanary(ext,W4)<==>iza(W4,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_4937474]
  120.     1.9 genls(tCanary,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:31]
  121.     1.10 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  122.     1.11 tType(tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:22]
  123. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  124. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  125.  
  126. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:48
  127. % birds fly by default.
  128. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:51
  129. % make sure tweety is a bird
  130. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  131. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  132.  
  133. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  134.  
  135. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:52
  136.  
  137. Justifications for tBird(ext,iTweety):
  138.  
  139.     1.1 iza(iTweety,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5043410]
  140.     1.2 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5045768]
  141.     1.3 iza(iTweety,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5048126]
  142.     1.4 iza(W4,tCanary)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5050484]
  143.     1.5 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  144.     1.6 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  145.     1.7 tCanary(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:43]
  146.     1.8 tCanary(ext,W4)<==>iza(W4,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5053732]
  147.     1.9 genls(tCanary,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:31]
  148.     1.10 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  149.     1.11 tType(tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:22]
  150. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  151. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  152.  
  153. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:54
  154. % make sure tweety can fly
  155. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  156. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  157.  
  158. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  159.  
  160. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:55
  161.  
  162. Justifications for tFly(ext,iTweety):
  163.  
  164.     1.1 \+ ~tFly(ext,iTweety) % [/usr/lib/swi-prolog/boot/init.pl:337]
  165.     1.2 \+tFly(_,iTweety) % [/usr/lib/swi-prolog/boot/init.pl:337]
  166.     1.3 \+tFly(W4,iTweety)/(ground(tFly(W4,iTweety)),dif:dif(ext,W4)),\+ ~tFly(ext,iTweety)==>tFly(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5114982]
  167.     1.4 mfl(baseKB,/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl,326)
  168.     1.5 mdefault(tFly(ext,iTweety)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5117440]
  169.     1.6 mdefault(W4)/(mpred_positive_literal(W4),if_missing_mask(W4,X4,Y4))==>(\+X4/(ground(X4),Y4),\+ ~W4==>W4) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:56]
  170.     1.7 tBird(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5120232]
  171.     1.8 tBird(ext,W4)==>mdefault(tFly(ext,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5122590]
  172.     1.9 iza(iTweety,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5125008]
  173.     1.10 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5127366]
  174.     1.11 mdefault((tBird(ext,W4)==>tFly(ext,W4))) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:49]
  175.     1.12 mdefault((X4==>W4))/nonvar(W4)==>(X4==>mdefault(W4)) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:49]
  176.     1.13 iza(iTweety,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5130422]
  177.     1.14 iza(W4,tCanary)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5132780]
  178.     1.15 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  179.     1.16 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  180.     1.17 tCanary(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:43]
  181.     1.18 tCanary(ext,W4)<==>iza(W4,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5136148]
  182.     1.19 genls(tCanary,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:31]
  183.     1.20 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  184.     1.21 tType(tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:22]
  185.     2.1 iza(iTweety,tFly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5139746]
  186.     2.2 tFly(ext,W4)<==>iza(W4,tFly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5142104]
  187.     2.3 tFly(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5144462]
  188.     2.4 tType(tFly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:21]
  189.     2.5 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  190.     2.6 \+ ~tFly(ext,iTweety) % [/usr/lib/swi-prolog/boot/init.pl:337]
  191.     2.7 \+tFly(_,iTweety) % [/usr/lib/swi-prolog/boot/init.pl:337]
  192.     2.8 \+tFly(W4,iTweety)/(ground(tFly(W4,iTweety)),dif:dif(ext,W4)),\+ ~tFly(ext,iTweety)==>tFly(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5148118]
  193.     2.9 mfl(baseKB,/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl,326)
  194.     2.10 mdefault(tFly(ext,iTweety)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5150696]
  195.     2.11 mdefault(W4)/(mpred_positive_literal(W4),if_missing_mask(W4,X4,Y4))==>(\+X4/(ground(X4),Y4),\+ ~W4==>W4) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:56]
  196.     2.12 tBird(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5153488]
  197.     2.13 tBird(ext,W4)==>mdefault(tFly(ext,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5155846]
  198.     2.14 iza(iTweety,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5158264]
  199.     2.15 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5160622]
  200.     2.16 mdefault((tBird(ext,W4)==>tFly(ext,W4))) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:49]
  201.     2.17 mdefault((X4==>W4))/nonvar(W4)==>(X4==>mdefault(W4)) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:49]
  202.     2.18 iza(iTweety,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5163678]
  203.     2.19 iza(W4,tCanary)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5166036]
  204.     2.20 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  205.     2.21 tCanary(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:43]
  206.     2.22 tCanary(ext,W4)<==>iza(W4,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5169074]
  207.     2.23 genls(tCanary,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:31]
  208.     2.24 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  209.     2.25 tType(tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:22]
  210. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  211. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  212.  
  213. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:57
  214. % make sure chilly can fly
  215. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  216. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  217.  
  218. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  219.  
  220. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:58
  221.  
  222. Justifications for iza(iChilly,tFly):
  223.  
  224.     1.1 tFly(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5158382]
  225.     1.2 tFly(ext,W4)<==>iza(W4,tFly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5160740]
  226.     1.3 \+ ~tFly(ext,iChilly) % [/usr/lib/swi-prolog/boot/init.pl:337]
  227.     1.4 \+tFly(_,iChilly) % [/usr/lib/swi-prolog/boot/init.pl:337]
  228.     1.5 \+tFly(W4,iChilly)/(ground(tFly(W4,iChilly)),dif:dif(ext,W4)),\+ ~tFly(ext,iChilly)==>tFly(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5163786]
  229.     1.6 tType(tFly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:21]
  230.     1.7 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  231.     1.8 mfl(baseKB,/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl,326)
  232.     1.9 mdefault(tFly(ext,iChilly)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5166854]
  233.     1.10 mdefault(W4)/(mpred_positive_literal(W4),if_missing_mask(W4,X4,Y4))==>(\+X4/(ground(X4),Y4),\+ ~W4==>W4) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:56]
  234.     1.11 tBird(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5169766]
  235.     1.12 tBird(ext,W4)==>mdefault(tFly(ext,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5172124]
  236.     1.13 iza(iChilly,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5174542]
  237.     1.14 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5176900]
  238.     1.15 mdefault((tBird(ext,W4)==>tFly(ext,W4))) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:49]
  239.     1.16 mdefault((X4==>W4))/nonvar(W4)==>(X4==>mdefault(W4)) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:49]
  240.     1.17 iza(iChilly,tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5179956]
  241.     1.18 iza(W4,tPenguin)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5182314]
  242.     1.19 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  243.     1.20 tPenguin(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:37]
  244.     1.21 tPenguin(ext,W4)<==>iza(W4,tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5185352]
  245.     1.22 genls(tPenguin,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:32]
  246.     1.23 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  247.     1.24 tType(tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:23]
  248. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  249. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  250.  
  251. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  252. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  253.  
  254. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  255.  
  256. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:58
  257.  
  258. Justifications for iChilly=iChilly:
  259.  
  260.     1.1 iChilly=iChilly:-_ % [foreign:_5160322]
  261. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  262. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  263.  
  264. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:60
  265. % make sure tweety is a bird
  266. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  267. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  268.  
  269. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  270.  
  271. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:61
  272.  
  273. Justifications for tBird(ext,iTweety):
  274.  
  275.     1.1 iza(iTweety,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5182692]
  276.     1.2 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5185050]
  277.     1.3 iza(iTweety,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5187408]
  278.     1.4 iza(W4,tCanary)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5189766]
  279.     1.5 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  280.     1.6 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  281.     1.7 tCanary(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:43]
  282.     1.8 tCanary(ext,W4)<==>iza(W4,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5193014]
  283.     1.9 genls(tCanary,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:31]
  284.     1.10 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  285.     1.11 tType(tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:22]
  286. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  287. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  288. :- dynamic baseKB:tFly/2.
  289. :- multifile baseKB:tFly/2.
  290. :- public baseKB:tFly/2.
  291. :- module_transparent baseKB:tFly/2.
  292.  
  293.  
  294. :- dynamic tFly/2.
  295. :- multifile tFly/2.
  296. :- public tFly/2.
  297. :- module_transparent tFly/2.
  298.  
  299. tFly(ext, iChilly).
  300. tFly(ext, iTweety).
  301. tFly(A, B) :-
  302.         inherit_above(user, tFly(A, B)).
  303.  
  304. :- dynamic baseKB:tBird/2.
  305. :- multifile baseKB:tBird/2.
  306. :- public baseKB:tBird/2.
  307. :- module_transparent baseKB:tBird/2.
  308.  
  309.  
  310. :- dynamic tBird/2.
  311. :- multifile tBird/2.
  312. :- public tBird/2.
  313. :- module_transparent tBird/2.
  314.  
  315. tBird(ext, iTweety).
  316. tBird(ext, iChilly).
  317. tBird(A, B) :-
  318.         inherit_above(user, tBird(A, B)).
  319.  
  320. :- dynamic baseKB:iza/2.
  321. :- multifile baseKB:iza/2.
  322. :- public baseKB:iza/2.
  323. :- module_transparent baseKB:iza/2.
  324.  
  325.  
  326. :- dynamic iza/2.
  327. :- multifile iza/2.
  328. :- public iza/2.
  329. :- module_transparent iza/2.
  330.  
  331. iza(iChilly, tFly).
  332. iza(iTweety, tFly).
  333. iza(iTweety, tBird).
  334. iza(iTweety, tCanary).
  335. iza(iChilly, tBird).
  336. iza(iChilly, tPenguin).
  337. iza(A, B) :-
  338.         inherit_above(user, iza(A, B)).
  339.  
  340. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:66
  341. % make sure tweety can fly (and again chilly)
  342. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  343. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  344.  
  345. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  346.  
  347. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:67
  348.  
  349. Justifications for tFly(ext,iTweety):
  350.  
  351.     1.1 \+ ~tFly(ext,iTweety) % [/usr/lib/swi-prolog/boot/init.pl:337]
  352.     1.2 \+tFly(_,iTweety) % [/usr/lib/swi-prolog/boot/init.pl:337]
  353.     1.3 \+tFly(W4,iTweety)/(ground(tFly(W4,iTweety)),dif:dif(ext,W4)),\+ ~tFly(ext,iTweety)==>tFly(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5256122]
  354.     1.4 mfl(baseKB,/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl,326)
  355.     1.5 mdefault(tFly(ext,iTweety)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5258580]
  356.     1.6 mdefault(W4)/(mpred_positive_literal(W4),if_missing_mask(W4,X4,Y4))==>(\+X4/(ground(X4),Y4),\+ ~W4==>W4) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:56]
  357.     1.7 tBird(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5261372]
  358.     1.8 tBird(ext,W4)==>mdefault(tFly(ext,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5263730]
  359.     1.9 iza(iTweety,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5266148]
  360.     1.10 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5268506]
  361.     1.11 mdefault((tBird(ext,W4)==>tFly(ext,W4))) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:49]
  362.     1.12 mdefault((X4==>W4))/nonvar(W4)==>(X4==>mdefault(W4)) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:49]
  363.     1.13 iza(iTweety,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5271562]
  364.     1.14 iza(W4,tCanary)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5273920]
  365.     1.15 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  366.     1.16 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  367.     1.17 tCanary(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:43]
  368.     1.18 tCanary(ext,W4)<==>iza(W4,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5277288]
  369.     1.19 genls(tCanary,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:31]
  370.     1.20 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  371.     1.21 tType(tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:22]
  372.     2.1 iza(iTweety,tFly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5280886]
  373.     2.2 tFly(ext,W4)<==>iza(W4,tFly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5283244]
  374.     2.3 tFly(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5285602]
  375.     2.4 tType(tFly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:21]
  376.     2.5 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  377.     2.6 \+ ~tFly(ext,iTweety) % [/usr/lib/swi-prolog/boot/init.pl:337]
  378.     2.7 \+tFly(_,iTweety) % [/usr/lib/swi-prolog/boot/init.pl:337]
  379.     2.8 \+tFly(W4,iTweety)/(ground(tFly(W4,iTweety)),dif:dif(ext,W4)),\+ ~tFly(ext,iTweety)==>tFly(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5289258]
  380.     2.9 mfl(baseKB,/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl,326)
  381.     2.10 mdefault(tFly(ext,iTweety)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5291836]
  382.     2.11 mdefault(W4)/(mpred_positive_literal(W4),if_missing_mask(W4,X4,Y4))==>(\+X4/(ground(X4),Y4),\+ ~W4==>W4) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:56]
  383.     2.12 tBird(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5294628]
  384.     2.13 tBird(ext,W4)==>mdefault(tFly(ext,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5296986]
  385.     2.14 iza(iTweety,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5299404]
  386.     2.15 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5301762]
  387.     2.16 mdefault((tBird(ext,W4)==>tFly(ext,W4))) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:49]
  388.     2.17 mdefault((X4==>W4))/nonvar(W4)==>(X4==>mdefault(W4)) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:49]
  389.     2.18 iza(iTweety,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5304818]
  390.     2.19 iza(W4,tCanary)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5307176]
  391.     2.20 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  392.     2.21 tCanary(ext,iTweety) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:43]
  393.     2.22 tCanary(ext,W4)<==>iza(W4,tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5310214]
  394.     2.23 genls(tCanary,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:31]
  395.     2.24 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  396.     2.25 tType(tCanary) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:22]
  397. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  398. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  399.  
  400. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  401. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  402.  
  403. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  404.  
  405. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:68
  406.  
  407. Justifications for tFly(ext,iChilly):
  408.  
  409.     1.1 \+ ~tFly(ext,iChilly) % [/usr/lib/swi-prolog/boot/init.pl:337]
  410.     1.2 \+tFly(_,iChilly) % [/usr/lib/swi-prolog/boot/init.pl:337]
  411.     1.3 \+tFly(W4,iChilly)/(ground(tFly(W4,iChilly)),dif:dif(ext,W4)),\+ ~tFly(ext,iChilly)==>tFly(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5324610]
  412.     1.4 mfl(baseKB,/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl,326)
  413.     1.5 mdefault(tFly(ext,iChilly)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5327068]
  414.     1.6 mdefault(W4)/(mpred_positive_literal(W4),if_missing_mask(W4,X4,Y4))==>(\+X4/(ground(X4),Y4),\+ ~W4==>W4) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:56]
  415.     1.7 tBird(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5329860]
  416.     1.8 tBird(ext,W4)==>mdefault(tFly(ext,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5332218]
  417.     1.9 iza(iChilly,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5334636]
  418.     1.10 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5336994]
  419.     1.11 mdefault((tBird(ext,W4)==>tFly(ext,W4))) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:49]
  420.     1.12 mdefault((X4==>W4))/nonvar(W4)==>(X4==>mdefault(W4)) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:49]
  421.     1.13 iza(iChilly,tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5340050]
  422.     1.14 iza(W4,tPenguin)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5342408]
  423.     1.15 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  424.     1.16 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  425.     1.17 tPenguin(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:37]
  426.     1.18 tPenguin(ext,W4)<==>iza(W4,tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5345776]
  427.     1.19 genls(tPenguin,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:32]
  428.     1.20 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  429.     1.21 tType(tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:23]
  430.     2.1 iza(iChilly,tFly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5349374]
  431.     2.2 tFly(ext,W4)<==>iza(W4,tFly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5351732]
  432.     2.3 tFly(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5354090]
  433.     2.4 tType(tFly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:21]
  434.     2.5 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  435.     2.6 \+ ~tFly(ext,iChilly) % [/usr/lib/swi-prolog/boot/init.pl:337]
  436.     2.7 \+tFly(_,iChilly) % [/usr/lib/swi-prolog/boot/init.pl:337]
  437.     2.8 \+tFly(W4,iChilly)/(ground(tFly(W4,iChilly)),dif:dif(ext,W4)),\+ ~tFly(ext,iChilly)==>tFly(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5357746]
  438.     2.9 mfl(baseKB,/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl,326)
  439.     2.10 mdefault(tFly(ext,iChilly)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5360324]
  440.     2.11 mdefault(W4)/(mpred_positive_literal(W4),if_missing_mask(W4,X4,Y4))==>(\+X4/(ground(X4),Y4),\+ ~W4==>W4) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:56]
  441.     2.12 tBird(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5363116]
  442.     2.13 tBird(ext,W4)==>mdefault(tFly(ext,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5365474]
  443.     2.14 iza(iChilly,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5367892]
  444.     2.15 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5370250]
  445.     2.16 mdefault((tBird(ext,W4)==>tFly(ext,W4))) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:49]
  446.     2.17 mdefault((X4==>W4))/nonvar(W4)==>(X4==>mdefault(W4)) % [pfc/prolog/pfclib/system_mdefault.pfc.pl:49]
  447.     2.18 iza(iChilly,tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5373306]
  448.     2.19 iza(W4,tPenguin)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5375664]
  449.     2.20 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  450.     2.21 tPenguin(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:37]
  451.     2.22 tPenguin(ext,W4)<==>iza(W4,tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5378702]
  452.     2.23 genls(tPenguin,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:32]
  453.     2.24 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  454.     2.25 tType(tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:23]
  455. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  456. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  457.  
  458. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:74
  459. % penguins do not tFly.
  460. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:77
  461. % Make sure we are not the reason he was a bird and not just inheritence.
  462. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:78
  463. % passed_mpred_test(\+mpred_axiom(tBird(ext, iChilly))).
  464. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:80
  465. % By default penguins cant fly.
  466. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  467. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  468.  
  469. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  470.  
  471. % /home/pfc_test_user/lib/swipl/pack/pfc/t/sanity_base/birds_01b_01_in_user.pfc:83
  472.  
  473. Justifications for tBird(ext,iChilly):
  474.  
  475.     1.1 iza(iChilly,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5421246]
  476.     1.2 tBird(ext,W4)<==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5423604]
  477.     1.3 iza(iChilly,tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5425962]
  478.     1.4 iza(W4,tPenguin)==>iza(W4,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5428320]
  479.     1.5 tType(tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:24]
  480.     1.6 tType(W4)==>{kb_local(W4/2)},(t(W4,ext,X4)<==>iza(X4,W4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:12]
  481.     1.7 tPenguin(ext,iChilly) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:37]
  482.     1.8 tPenguin(ext,W4)<==>iza(W4,tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:_5431568]
  483.     1.9 genls(tPenguin,tBird) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:32]
  484.     1.10 genls(W4,Y4)==>(iza(X4,W4)==>iza(X4,Y4)) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:29]
  485.     1.11 tType(tPenguin) % [pfc/t/sanity_base/birds_01b_01_in_user.pfc:23]
  486. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  487. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  488. :- dynamic test_results/3.
  489. :- multifile test_results/3.
  490. :- module_transparent test_results/3.
  491.  
  492.  
  493.  
  494.  
  495. SUCCESS: ./test_prolog.sh  birds_01b_01_in_user.pfc (returned 4)
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!