API tools faq
paste
Advertisement
logicmoo

SKOLEMS

logicmoo
Aug 16th, 2015
379
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 75.03 KB | None | 0 0
raw download clone embed print report
  1. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  2. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  3. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  4. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  5. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  6. kif :-
  7.         all(O3,
  8.             all(P3,
  9.                 all(N3,
  10.                     exists([O3, P3], (human(N3)=>mother(O3, N3)&father(P3, N3)))))).
  11. %
  12. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  13. pkif :-
  14.         all(O3,
  15.             all(P3,
  16.                 all(N3,
  17.                     exists(O3,
  18.                            exists(P3,
  19.                                   (human(N3)=>mother(O3, N3)&father(P3, N3))))))).
  20. %
  21. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  22. cnf :-
  23.         (not(skolem(O3, skArg1ofMotherFn(N3)))v (not(skolem(P3, skArg1ofFatherFn(N3)))v (not(human(N3))v mother(O3, N3))))& (not(skolem(O3, skArg1ofMotherFn(N3)))v (not(skolem(P3, skArg1ofFatherFn(N3)))v (not(human(N3))v father(P3, N3)))).
  24. %
  25. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  26. horn :-
  27.  
  28.         [ (not(human(N3)):-skolem(O3, skArg1ofMotherFn(N3)), skolem(P3, skArg1ofFatherFn(N3)), not(father(P3, N3))),
  29.           (not(human(N3)):-skolem(O3, skArg1ofMotherFn(N3)), skolem(P3, skArg1ofFatherFn(N3)), not(mother(O3, N3))),
  30.           (not(skolem(O3, skArg1ofMotherFn(N3))):-skolem(P3, skArg1ofFatherFn(N3)), human(N3), not(father(P3, N3))),
  31.           (not(skolem(O3, skArg1ofMotherFn(N3))):-skolem(P3, skArg1ofFatherFn(N3)), human(N3), not(mother(O3, N3))),
  32.           (not(skolem(P3, skArg1ofFatherFn(N3))):-skolem(O3, skArg1ofMotherFn(N3)), human(N3), not(father(P3, N3))),
  33.           (not(skolem(P3, skArg1ofFatherFn(N3))):-skolem(O3, skArg1ofMotherFn(N3)), human(N3), not(mother(O3, N3))),
  34.           (father(P3, N3):-skolem(O3, skArg1ofMotherFn(N3)), skolem(P3, skArg1ofFatherFn(N3)), human(N3)),
  35.           (mother(O3, N3):-skolem(O3, skArg1ofMotherFn(N3)), skolem(P3, skArg1ofFatherFn(N3)), human(N3))
  36.         ].
  37. %
  38. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  39. pfc :-
  40.  
  41.         [ (neg(human(N3))<=neg(father(P3, N3)), {vg(s(N3))}),
  42.           (neg(human(N3))<=neg(mother(O3, N3)), {vg(s(N3))}),
  43.           true,
  44.           true,
  45.           true,
  46.           true,
  47.           ({ignore(O3=skArg1ofMotherFn(N3))}, human(N3)=>{vg(s(N3))}, if_missing(father(P3, N3), father(skArg1ofFatherFn(N3), N3))),
  48.           ({ignore(P3=skArg1ofFatherFn(N3))}, human(N3)=>{vg(s(N3))}, if_missing(mother(O3, N3), mother(skArg1ofMotherFn(N3), N3)))
  49.         ].
  50. %
  51. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  52. %     succeed(user:must(repropagate(arity(if_missing, _)))).
  53. %
  54. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  55. %                  succeed(user:call_with_attvars(asserta, ptBinaryPredicate(if_missing))).
  56. %
  57.  
  58. % Adding (:) ptBinaryPredicate(if_missing)    <-------- (pt(tPred(if_missing),rhs([ptBinaryPredicate(if_missing)])) <=TF=> tPred(if_missing))
  59.  
  60.  
  61. % Removing (pfc_rem1(neg(ptBinaryPredicate(if_missing)), (u,u))) neg(ptBinaryPredicate(if_missing)).
  62.  
  63.  
  64. % Removing (pfc_rem1(neg(arity(if_missing,2)), (u,u))) neg(arity(if_missing,2)).
  65.  
  66. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  67. %              succeed(user:must(repropagate(arity(if_missing, _)))).
  68. %
  69. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  70. %               succeed(user:must(repropagate(argIsa(if_missing, 2, ftPercent)))).
  71. %
  72. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  73. %                succeed(user:must(repropagate(argIsa(if_missing, 2, ftInt)))).
  74. %
  75.  
  76. % Removing (pfc_rem1(neg(tPred(if_missing)), (u,u))) neg(tPred(if_missing)).
  77.  
  78. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  79. %                 succeed(user:must(repropagate(tPred(if_missing)))).
  80. %
  81.  
  82.  
  83.  
  84. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  85. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  86. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  87. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  88. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  89. kif :-
  90.         all(O3,
  91.             all(P3,
  92.                 all(N3,
  93.                     exists([O3, P3], (human(N3)=>mother(O3, N3)&father(P3, N3)))))).
  94. %
  95. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  96. pkif :-
  97.         all(O3,
  98.             all(P3,
  99.                 all(N3,
  100.                     exists(O3,
  101.                            exists(P3,
  102.                                   (human(N3)=>mother(O3, N3)&father(P3, N3))))))).
  103. %
  104. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  105. cnf :-
  106.         (not(skolem(O3, skArg1ofMotherFn(N3)))v (not(skolem(P3, skArg1ofFatherFn(N3)))v (not(human(N3))v mother(O3, N3))))& (not(skolem(O3, skArg1ofMotherFn(N3)))v (not(skolem(P3, skArg1ofFatherFn(N3)))v (not(human(N3))v father(P3, N3)))).
  107. %
  108. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  109. horn :-
  110.  
  111.         [ (not(human(N3)):-skolem(O3, skArg1ofMotherFn(N3)), skolem(P3, skArg1ofFatherFn(N3)), not(father(P3, N3))),
  112.           (not(human(N3)):-skolem(O3, skArg1ofMotherFn(N3)), skolem(P3, skArg1ofFatherFn(N3)), not(mother(O3, N3))),
  113.           (not(skolem(O3, skArg1ofMotherFn(N3))):-skolem(P3, skArg1ofFatherFn(N3)), human(N3), not(father(P3, N3))),
  114.           (not(skolem(O3, skArg1ofMotherFn(N3))):-skolem(P3, skArg1ofFatherFn(N3)), human(N3), not(mother(O3, N3))),
  115.           (not(skolem(P3, skArg1ofFatherFn(N3))):-skolem(O3, skArg1ofMotherFn(N3)), human(N3), not(father(P3, N3))),
  116.           (not(skolem(P3, skArg1ofFatherFn(N3))):-skolem(O3, skArg1ofMotherFn(N3)), human(N3), not(mother(O3, N3))),
  117.           (father(P3, N3):-skolem(O3, skArg1ofMotherFn(N3)), skolem(P3, skArg1ofFatherFn(N3)), human(N3)),
  118.           (mother(O3, N3):-skolem(O3, skArg1ofMotherFn(N3)), skolem(P3, skArg1ofFatherFn(N3)), human(N3))
  119.         ].
  120. %
  121. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  122. pfc :-
  123.  
  124.         [ (neg(human(N3))<=neg(father(P3, N3)), {vg(s(N3))}),
  125.           (neg(human(N3))<=neg(mother(O3, N3)), {vg(s(N3))}),
  126.           true,
  127.           true,
  128.           true,
  129.           true,
  130.           ({ignore(O3=skArg1ofMotherFn(N3))}, human(N3)=>{vg(s(N3))}, if_missing(father(P3, N3), father(skArg1ofFatherFn(N3), N3))),
  131.           ({ignore(P3=skArg1ofFatherFn(N3))}, human(N3)=>{vg(s(N3))}, if_missing(mother(O3, N3), mother(skArg1ofMotherFn(N3), N3)))
  132.         ].
  133. %
  134. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  135. %        succeed(user:are_clauses_entailed([ (neg(human(N3))<=neg(father(P3, N3)), {vg(s(N3))}), (neg(human(N3))<=neg(mother(O3, N3)), {vg(s(N3))}), true, true, true, true, ({ignore(O3=skArg1ofMotherFn(N3))}, human(N3)=>{vg(s(N3))}, if_missing(father(P3, N3), father(skArg1ofFatherFn(N3), N3))), ({ignore(P3=skArg1ofFatherFn(N3))}, human(N3)=>{vg(s(N3))}, if_missing(mother(O3, N3), mother(skArg1ofMotherFn(N3), N3)))])).
  136. %
  137. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  138. %                  succeed(user:call_with_attvars(asserta, if_missing(mother(_, trudy), mother(skArg1ofMotherFn(trudy), trudy)))).
  139. %
  140.  
  141. % Adding (:) if_missing(mother(_G10823,trudy),mother(skArg1ofMotherFn(trudy),trudy))    <-------- (pt(human(trudy),rhs([{vg(s(trudy))},if_missing(mother(_G10823,trudy),mother(skArg1ofMotherFn(trudy),trudy))])) <=TF=> human(trudy))
  142.  
  143.  
  144. % Removing (pfc_rem1(neg(if_missing(mother(_G21071,trudy),mother(skArg1ofMotherFn(trudy),trudy))), (u,u))) neg(if_missing(mother(_G18526,trudy),mother(skArg1ofMotherFn(trudy),trudy))).
  145.  
  146. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  147. %                succeed(user:call_with_attvars(asserta, (~ (mother(A, trudy)/ (mother(A, trudy)\==mother(skArg1ofMotherFn(trudy), trudy)))=>mother(skArg1ofMotherFn(trudy), trudy)))).
  148. %
  149.  
  150. % Adding (:) ~ (mother(_G18526,trudy)/ (mother(_G18526,trudy)\==mother(skArg1ofMotherFn(trudy),trudy)))=>mother(skArg1ofMotherFn(trudy),trudy)    <-------- (pt(if_missing(mother(_G18526,trudy),mother(skArg1ofMotherFn(trudy),trudy)),rhs([ (~ (mother(_G18526,trudy)/ (mother(_G18526,trudy)\==mother(skArg1ofMotherFn(trudy),trudy)))=>mother(skArg1ofMotherFn(trudy),trudy))])) <=TF=> if_missing(mother(_G10823,trudy),mother(skArg1ofMotherFn(trudy),trudy)))
  151.  
  152. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  153. %                   succeed(user:call_with_attvars(asserta, pfcMark(pfcCreates, p, mother(skArg1ofMotherFn(trudy), trudy), 0))).
  154. %
  155.  
  156. % Adding (:) pfcMark(pfcCreates,p,mother(skArg1ofMotherFn(trudy),trudy),0)    <-------- (g <=TF=> s(((~ (mother(_G30418,trudy)/ (mother(_G30418,trudy)\==mother(skArg1ofMotherFn(trudy),trudy)))=>mother(skArg1ofMotherFn(trudy),trudy)),u)))
  157.  
  158. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  159. %         succeed(user:call_with_attvars(asserta, pfcMark(pfcNegTrigger, n, mother, 2))).
  160. %
  161.  
  162. % Adding (:) pfcMark(pfcNegTrigger,n,mother,2)    <-------- (g <=TF=> s(((~ (mother(_G30418,trudy)/ (mother(_G30418,trudy)\==mother(skArg1ofMotherFn(trudy),trudy)))=>mother(skArg1ofMotherFn(trudy),trudy)),u)))
  163.  
  164. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  165. %                     succeed(user:call_with_attvars(asserta, mother(skArg1ofMotherFn(trudy), trudy))).
  166. %
  167.  
  168. % Adding (:) mother(skArg1ofMotherFn(trudy),trudy)    <-------- (nt(mother(_G49371,trudy), (call_u(mother(_G46817,trudy)),mother(_G46817,trudy)\==mother(skArg1ofMotherFn(trudy),trudy)),rhs([mother(skArg1ofMotherFn(trudy),trudy)])) <=TF=> \+mother(_G46814,trudy))
  169.  
  170. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  171. %                    succeed(user:call_with_attvars(asserta, parent(skArg1ofMotherFn(trudy), trudy))).
  172. %
  173.  
  174. % Adding (:) parent(skArg1ofMotherFn(trudy),trudy)    <-------- (pt(mother(skArg1ofMotherFn(trudy),trudy),rhs([{vg(s(trudy,skArg1ofMotherFn(trudy)))},parent(skArg1ofMotherFn(trudy),trudy)])) <=TF=> mother(skArg1ofMotherFn(trudy),trudy))
  175.  
  176. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  177. %                   succeed(user:call_with_attvars(asserta, ancestor(skArg1ofMotherFn(trudy), trudy))).
  178. %
  179.  
  180. % Adding (:) ancestor(skArg1ofMotherFn(trudy),trudy)    <-------- (pt(parent(skArg1ofMotherFn(trudy),trudy),rhs([{vg(s(trudy,skArg1ofMotherFn(trudy)))},ancestor(skArg1ofMotherFn(trudy),trudy)])) <=TF=> parent(skArg1ofMotherFn(trudy),trudy))
  181.  
  182.  
  183. % Removing (pfc_rem1(neg(ancestor(skArg1ofMotherFn(trudy),trudy)), (u,u))) neg(ancestor(skArg1ofMotherFn(trudy),trudy)).
  184.  
  185.  
  186. % Removing (pfc_rem1(neg(parent(skArg1ofMotherFn(trudy),trudy)), (u,u))) neg(parent(skArg1ofMotherFn(trudy),trudy)).
  187.  
  188. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  189. %                    succeed(user:call_with_attvars(asserta, female(skArg1ofMotherFn(trudy)))).
  190. %
  191.  
  192. % Adding (:) female(skArg1ofMotherFn(trudy))    <-------- (pt(mother(skArg1ofMotherFn(trudy),trudy),rhs([{vg(s(skArg1ofMotherFn(trudy)))},female(skArg1ofMotherFn(trudy))])) <=TF=> mother(skArg1ofMotherFn(trudy),trudy))
  193.  
  194. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  195. %                   succeed(user:call_with_attvars(asserta, neg(male(skArg1ofMotherFn(trudy))))).
  196. %
  197.  
  198. % Adding (:) neg(male(skArg1ofMotherFn(trudy)))    <-------- (pt(female(skArg1ofMotherFn(trudy)),rhs([{vg(s(skArg1ofMotherFn(trudy)))},neg(male(skArg1ofMotherFn(trudy)))])) <=TF=> female(skArg1ofMotherFn(trudy)))
  199.  
  200. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  201. %         succeed(user:call_with_attvars(asserta, neg(father(skArg1ofMotherFn(trudy), _)))).
  202. %
  203.  
  204. % Adding (:) neg(father(skArg1ofMotherFn(trudy),_G97327))    <-------- (pt(neg(male(skArg1ofMotherFn(trudy))), (vg(s(skArg1ofMotherFn(trudy)))->rhs([neg(father(skArg1ofMotherFn(trudy),_G97327))]))) <=TF=> neg(male(skArg1ofMotherFn(trudy))))
  205.  
  206. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  207. %         warn(nonground_remove_if_unsupported(pfc_rem1(father(skArg1ofMotherFn(trudy),
  208. %                                                       _),
  209. %                                                (u, u)),
  210. %                                       father(skArg1ofMotherFn(trudy), _))).
  211. %
  212. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  213. %     failed_show_call(user:retract(father(skArg1ofMotherFn(trudy), _))).
  214. %
  215.  
  216. pfc_undo_e ; Fact not found in user db: father(skArg1ofMotherFn(trudy),_G102601)
  217.  
  218. % Removing (pfc_rem1(father(skArg1ofMotherFn(trudy),_G107143), (u,u))) father(skArg1ofMotherFn(trudy),_G102601).
  219.  
  220. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  221. %      warn(nonground_remove_if_unsupported(pfc_rem1(father(skArg1ofMotherFn(trudy),
  222. %                                                       _),
  223. %                                                (u, u)),
  224. %                                       father(skArg1ofMotherFn(trudy), _))).
  225. %
  226. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  227. %                      failed_show_call(user:retract(father(skArg1ofMotherFn(trudy), _))).
  228. %
  229.  
  230. pfc_undo_e ; Fact not found in user db: father(skArg1ofMotherFn(trudy),_G102601)
  231.  
  232. % Removing (pfc_rem1(father(skArg1ofMotherFn(trudy),_G108823), (u,u))) father(skArg1ofMotherFn(trudy),_G102601).
  233.  
  234. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  235. %         succeed(user:call_with_attvars(asserta, neg(grandfather(skArg1ofMotherFn(trudy), _)))).
  236. %
  237.  
  238. % Adding (:) neg(grandfather(skArg1ofMotherFn(trudy),_G111355))    <-------- (pt(neg(male(skArg1ofMotherFn(trudy))), (vg(s(skArg1ofMotherFn(trudy)))->rhs([neg(grandfather(skArg1ofMotherFn(trudy),_G111355))]))) <=TF=> neg(male(skArg1ofMotherFn(trudy))))
  239.  
  240. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  241. %         warn(nonground_remove_if_unsupported(pfc_rem1(grandfather(skArg1ofMotherFn(trudy),
  242. %                                                            _),
  243. %                                                (u, u)),
  244. %                                       grandfather(skArg1ofMotherFn(trudy), _))).
  245. %
  246. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  247. %     failed_show_call(user:retract(grandfather(skArg1ofMotherFn(trudy), _))).
  248. %
  249.  
  250. pfc_undo_e ; Fact not found in user db: grandfather(skArg1ofMotherFn(trudy),_G116684)
  251.  
  252. % Removing (pfc_rem1(grandfather(skArg1ofMotherFn(trudy),_G118617), (u,u))) grandfather(skArg1ofMotherFn(trudy),_G116684).
  253.  
  254. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  255. %      warn(nonground_remove_if_unsupported(pfc_rem1(grandfather(skArg1ofMotherFn(trudy),
  256. %                                                            _),
  257. %                                                (u, u)),
  258. %                                       grandfather(skArg1ofMotherFn(trudy), _))).
  259. %
  260. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  261. %                      failed_show_call(user:retract(grandfather(skArg1ofMotherFn(trudy), _))).
  262. %
  263.  
  264. pfc_undo_e ; Fact not found in user db: grandfather(skArg1ofMotherFn(trudy),_G116684)
  265.  
  266. % Removing (pfc_rem1(grandfather(skArg1ofMotherFn(trudy),_G120344), (u,u))) grandfather(skArg1ofMotherFn(trudy),_G116684).
  267.  
  268. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  269. %                  succeed(user:call_with_attvars(asserta, neg(gender(skArg1ofMotherFn(trudy), male)))).
  270. %
  271.  
  272. % Adding (:) neg(gender(skArg1ofMotherFn(trudy),male))    <-------- (pt(neg(male(skArg1ofMotherFn(trudy))),rhs([{vg(s(skArg1ofMotherFn(trudy)))},neg(gender(skArg1ofMotherFn(trudy),male))])) <=TF=> neg(male(skArg1ofMotherFn(trudy))))
  273.  
  274.  
  275. Couldn't retract spft(gender(skArg1ofMotherFn(trudy),male),u,u).
  276. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  277. %              failed_show_call(user:retract(gender(skArg1ofMotherFn(trudy), male))).
  278. %
  279.  
  280. pfc_undo_e ; Fact not found in user db: gender(skArg1ofMotherFn(trudy),male)
  281.  
  282. % Removing (pfc_rem1(gender(skArg1ofMotherFn(trudy),male), (u,u))) gender(skArg1ofMotherFn(trudy),male).
  283.  
  284.  
  285. Couldn't retract spft(gender(skArg1ofMotherFn(trudy),male),u,u).
  286. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  287. %           failed_show_call(user:retract(gender(skArg1ofMotherFn(trudy), male))).
  288. %
  289.  
  290. pfc_undo_e ; Fact not found in user db: gender(skArg1ofMotherFn(trudy),male)
  291.  
  292. % Removing (pfc_rem1(gender(skArg1ofMotherFn(trudy),male), (u,u))) gender(skArg1ofMotherFn(trudy),male).
  293.  
  294.  
  295. Couldn't retract spft(male(skArg1ofMotherFn(trudy)),u,u).
  296. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  297. %               failed_show_call(user:retract(male(skArg1ofMotherFn(trudy)))).
  298. %
  299.  
  300. pfc_undo_e ; Fact not found in user db: male(skArg1ofMotherFn(trudy))
  301.  
  302. % Removing (pfc_rem1(male(skArg1ofMotherFn(trudy)), (u,u))) male(skArg1ofMotherFn(trudy)).
  303.  
  304.  
  305. Couldn't retract spft(male(skArg1ofMotherFn(trudy)),u,u).
  306. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  307. %            failed_show_call(user:retract(male(skArg1ofMotherFn(trudy)))).
  308. %
  309.  
  310. pfc_undo_e ; Fact not found in user db: male(skArg1ofMotherFn(trudy))
  311.  
  312. % Removing (pfc_rem1(male(skArg1ofMotherFn(trudy)), (u,u))) male(skArg1ofMotherFn(trudy)).
  313.  
  314. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  315. %                   succeed(user:call_with_attvars(asserta, gender(skArg1ofMotherFn(trudy), female))).
  316. %
  317.  
  318. % Adding (:) gender(skArg1ofMotherFn(trudy),female)    <-------- (pt(female(skArg1ofMotherFn(trudy)),rhs([{vg(s(skArg1ofMotherFn(trudy)))},gender(skArg1ofMotherFn(trudy),female)])) <=TF=> female(skArg1ofMotherFn(trudy)))
  319.  
  320.  
  321. % Removing (pfc_rem1(neg(gender(skArg1ofMotherFn(trudy),female)), (u,u))) neg(gender(skArg1ofMotherFn(trudy),female)).
  322.  
  323.  
  324. % Removing (pfc_rem1(neg(female(skArg1ofMotherFn(trudy))), (u,u))) neg(female(skArg1ofMotherFn(trudy))).
  325.  
  326.  
  327. % Removing (pfc_rem1(neg(mother(skArg1ofMotherFn(trudy),trudy)), (u,u))) neg(mother(skArg1ofMotherFn(trudy),trudy)).
  328.  
  329. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  330. %                  succeed(user:call_with_attvars(asserta, if_missing(father(_, trudy), father(skArg1ofFatherFn(trudy), trudy)))).
  331. %
  332.  
  333. % Adding (:) if_missing(father(_G40446,trudy),father(skArg1ofFatherFn(trudy),trudy))    <-------- (pt(human(trudy),rhs([{vg(s(trudy))},if_missing(father(_G40446,trudy),father(skArg1ofFatherFn(trudy),trudy))])) <=TF=> human(trudy))
  334.  
  335.  
  336. % Removing (pfc_rem1(neg(if_missing(father(_G50730,trudy),father(skArg1ofFatherFn(trudy),trudy))), (u,u))) neg(if_missing(father(_G48185,trudy),father(skArg1ofFatherFn(trudy),trudy))).
  337.  
  338. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  339. %                succeed(user:call_with_attvars(asserta, (~ (father(A, trudy)/ (father(A, trudy)\==father(skArg1ofFatherFn(trudy), trudy)))=>father(skArg1ofFatherFn(trudy), trudy)))).
  340. %
  341.  
  342. % Adding (:) ~ (father(_G48185,trudy)/ (father(_G48185,trudy)\==father(skArg1ofFatherFn(trudy),trudy)))=>father(skArg1ofFatherFn(trudy),trudy)    <-------- (pt(if_missing(father(_G48185,trudy),father(skArg1ofFatherFn(trudy),trudy)),rhs([ (~ (father(_G48185,trudy)/ (father(_G48185,trudy)\==father(skArg1ofFatherFn(trudy),trudy)))=>father(skArg1ofFatherFn(trudy),trudy))])) <=TF=> if_missing(father(_G40446,trudy),father(skArg1ofFatherFn(trudy),trudy)))
  343.  
  344. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  345. %                   succeed(user:call_with_attvars(asserta, pfcMark(pfcCreates, p, father(skArg1ofFatherFn(trudy), trudy), 0))).
  346. %
  347.  
  348. % Adding (:) pfcMark(pfcCreates,p,father(skArg1ofFatherFn(trudy),trudy),0)    <-------- (g <=TF=> s(((~ (father(_G60077,trudy)/ (father(_G60077,trudy)\==father(skArg1ofFatherFn(trudy),trudy)))=>father(skArg1ofFatherFn(trudy),trudy)),u)))
  349.  
  350. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  351. %         succeed(user:call_with_attvars(asserta, pfcMark(pfcNegTrigger, n, father, 2))).
  352. %
  353.  
  354. % Adding (:) pfcMark(pfcNegTrigger,n,father,2)    <-------- (g <=TF=> s(((~ (father(_G60077,trudy)/ (father(_G60077,trudy)\==father(skArg1ofFatherFn(trudy),trudy)))=>father(skArg1ofFatherFn(trudy),trudy)),u)))
  355.  
  356. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  357. %                     succeed(user:call_with_attvars(asserta, father(skArg1ofFatherFn(trudy), trudy))).
  358. %
  359.  
  360. % Adding (:) father(skArg1ofFatherFn(trudy),trudy)    <-------- (nt(father(_G79030,trudy), (call_u(father(_G76476,trudy)),father(_G76476,trudy)\==father(skArg1ofFatherFn(trudy),trudy)),rhs([father(skArg1ofFatherFn(trudy),trudy)])) <=TF=> \+father(_G76473,trudy))
  361.  
  362. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  363. %                    succeed(user:call_with_attvars(asserta, parent(skArg1ofFatherFn(trudy), trudy))).
  364. %
  365.  
  366. % Adding (:) parent(skArg1ofFatherFn(trudy),trudy)    <-------- (pt(father(skArg1ofFatherFn(trudy),trudy),rhs([{vg(s(trudy,skArg1ofFatherFn(trudy)))},parent(skArg1ofFatherFn(trudy),trudy)])) <=TF=> father(skArg1ofFatherFn(trudy),trudy))
  367.  
  368. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  369. %                   succeed(user:call_with_attvars(asserta, ancestor(skArg1ofFatherFn(trudy), trudy))).
  370. %
  371.  
  372. % Adding (:) ancestor(skArg1ofFatherFn(trudy),trudy)    <-------- (pt(parent(skArg1ofFatherFn(trudy),trudy),rhs([{vg(s(trudy,skArg1ofFatherFn(trudy)))},ancestor(skArg1ofFatherFn(trudy),trudy)])) <=TF=> parent(skArg1ofFatherFn(trudy),trudy))
  373.  
  374.  
  375. % Removing (pfc_rem1(neg(ancestor(skArg1ofFatherFn(trudy),trudy)), (u,u))) neg(ancestor(skArg1ofFatherFn(trudy),trudy)).
  376.  
  377.  
  378. % Removing (pfc_rem1(neg(parent(skArg1ofFatherFn(trudy),trudy)), (u,u))) neg(parent(skArg1ofFatherFn(trudy),trudy)).
  379.  
  380. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  381. %                    succeed(user:call_with_attvars(asserta, male(skArg1ofFatherFn(trudy)))).
  382. %
  383.  
  384. % Adding (:) male(skArg1ofFatherFn(trudy))    <-------- (pt(father(skArg1ofFatherFn(trudy),trudy),rhs([{vg(s(skArg1ofFatherFn(trudy)))},male(skArg1ofFatherFn(trudy))])) <=TF=> father(skArg1ofFatherFn(trudy),trudy))
  385.  
  386. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  387. %                   succeed(user:call_with_attvars(asserta, neg(female(skArg1ofFatherFn(trudy))))).
  388. %
  389.  
  390. % Adding (:) neg(female(skArg1ofFatherFn(trudy)))    <-------- (pt(male(skArg1ofFatherFn(trudy)),rhs([{vg(s(skArg1ofFatherFn(trudy)))},neg(female(skArg1ofFatherFn(trudy)))])) <=TF=> male(skArg1ofFatherFn(trudy)))
  391.  
  392. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  393. %         succeed(user:call_with_attvars(asserta, neg(mother(skArg1ofFatherFn(trudy), _)))).
  394. %
  395.  
  396. % Adding (:) neg(mother(skArg1ofFatherFn(trudy),_G6428))    <-------- (pt(neg(female(skArg1ofFatherFn(trudy))), (vg(s(skArg1ofFatherFn(trudy)))->rhs([neg(mother(skArg1ofFatherFn(trudy),_G6428))]))) <=TF=> neg(female(skArg1ofFatherFn(trudy))))
  397.  
  398. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  399. %         warn(nonground_remove_if_unsupported(pfc_rem1(mother(skArg1ofFatherFn(trudy),
  400. %                                                       _),
  401. %                                                (u, u)),
  402. %                                       mother(skArg1ofFatherFn(trudy), _))).
  403. %
  404. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  405. %     failed_show_call(user:retract(mother(skArg1ofFatherFn(trudy), _))).
  406. %
  407.  
  408. pfc_undo_e ; Fact not found in user db: mother(skArg1ofFatherFn(trudy),_G11702)
  409.  
  410. % Removing (pfc_rem1(mother(skArg1ofFatherFn(trudy),_G16535), (u,u))) mother(skArg1ofFatherFn(trudy),_G11702).
  411.  
  412. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  413. %      warn(nonground_remove_if_unsupported(pfc_rem1(mother(skArg1ofFatherFn(trudy),
  414. %                                                       _),
  415. %                                                (u, u)),
  416. %                                       mother(skArg1ofFatherFn(trudy), _))).
  417. %
  418. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  419. %                      failed_show_call(user:retract(mother(skArg1ofFatherFn(trudy), _))).
  420. %
  421.  
  422. pfc_undo_e ; Fact not found in user db: mother(skArg1ofFatherFn(trudy),_G11702)
  423.  
  424. % Removing (pfc_rem1(mother(skArg1ofFatherFn(trudy),_G26766), (u,u))) mother(skArg1ofFatherFn(trudy),_G11702).
  425.  
  426. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  427. %         succeed(user:call_with_attvars(asserta, neg(grandmother(skArg1ofFatherFn(trudy), _)))).
  428. %
  429.  
  430. % Adding (:) neg(grandmother(skArg1ofFatherFn(trudy),_G33465))    <-------- (pt(neg(female(skArg1ofFatherFn(trudy))), (vg(s(skArg1ofFatherFn(trudy)))->rhs([neg(grandmother(skArg1ofFatherFn(trudy),_G33465))]))) <=TF=> neg(female(skArg1ofFatherFn(trudy))))
  431.  
  432. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  433. %         warn(nonground_remove_if_unsupported(pfc_rem1(grandmother(skArg1ofFatherFn(trudy),
  434. %                                                            _),
  435. %                                                (u, u)),
  436. %                                       grandmother(skArg1ofFatherFn(trudy), _))).
  437. %
  438. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  439. %     failed_show_call(user:retract(grandmother(skArg1ofFatherFn(trudy), _))).
  440. %
  441.  
  442. pfc_undo_e ; Fact not found in user db: grandmother(skArg1ofFatherFn(trudy),_G38794)
  443.  
  444. % Removing (pfc_rem1(grandmother(skArg1ofFatherFn(trudy),_G41444), (u,u))) grandmother(skArg1ofFatherFn(trudy),_G38794).
  445.  
  446. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  447. %      warn(nonground_remove_if_unsupported(pfc_rem1(grandmother(skArg1ofFatherFn(trudy),
  448. %                                                            _),
  449. %                                                (u, u)),
  450. %                                       grandmother(skArg1ofFatherFn(trudy), _))).
  451. %
  452. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  453. %                      failed_show_call(user:retract(grandmother(skArg1ofFatherFn(trudy), _))).
  454. %
  455.  
  456. pfc_undo_e ; Fact not found in user db: grandmother(skArg1ofFatherFn(trudy),_G38794)
  457.  
  458. % Removing (pfc_rem1(grandmother(skArg1ofFatherFn(trudy),_G43171), (u,u))) grandmother(skArg1ofFatherFn(trudy),_G38794).
  459.  
  460. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  461. %                  succeed(user:call_with_attvars(asserta, neg(gender(skArg1ofFatherFn(trudy), female)))).
  462. %
  463.  
  464. % Adding (:) neg(gender(skArg1ofFatherFn(trudy),female))    <-------- (pt(neg(female(skArg1ofFatherFn(trudy))),rhs([{vg(s(skArg1ofFatherFn(trudy)))},neg(gender(skArg1ofFatherFn(trudy),female))])) <=TF=> neg(female(skArg1ofFatherFn(trudy))))
  465.  
  466.  
  467. Couldn't retract spft(gender(skArg1ofFatherFn(trudy),female),u,u).
  468. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  469. %              failed_show_call(user:retract(gender(skArg1ofFatherFn(trudy), female))).
  470. %
  471.  
  472. pfc_undo_e ; Fact not found in user db: gender(skArg1ofFatherFn(trudy),female)
  473.  
  474. % Removing (pfc_rem1(gender(skArg1ofFatherFn(trudy),female), (u,u))) gender(skArg1ofFatherFn(trudy),female).
  475.  
  476.  
  477. Couldn't retract spft(gender(skArg1ofFatherFn(trudy),female),u,u).
  478. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  479. %           failed_show_call(user:retract(gender(skArg1ofFatherFn(trudy), female))).
  480. %
  481.  
  482. pfc_undo_e ; Fact not found in user db: gender(skArg1ofFatherFn(trudy),female)
  483.  
  484. % Removing (pfc_rem1(gender(skArg1ofFatherFn(trudy),female), (u,u))) gender(skArg1ofFatherFn(trudy),female).
  485.  
  486.  
  487. Couldn't retract spft(female(skArg1ofFatherFn(trudy)),u,u).
  488. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  489. %               failed_show_call(user:retract(female(skArg1ofFatherFn(trudy)))).
  490. %
  491.  
  492. pfc_undo_e ; Fact not found in user db: female(skArg1ofFatherFn(trudy))
  493.  
  494. % Removing (pfc_rem1(female(skArg1ofFatherFn(trudy)), (u,u))) female(skArg1ofFatherFn(trudy)).
  495.  
  496.  
  497. Couldn't retract spft(female(skArg1ofFatherFn(trudy)),u,u).
  498. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  499. %            failed_show_call(user:retract(female(skArg1ofFatherFn(trudy)))).
  500. %
  501.  
  502. pfc_undo_e ; Fact not found in user db: female(skArg1ofFatherFn(trudy))
  503.  
  504. % Removing (pfc_rem1(female(skArg1ofFatherFn(trudy)), (u,u))) female(skArg1ofFatherFn(trudy)).
  505.  
  506. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  507. %                   succeed(user:call_with_attvars(asserta, gender(skArg1ofFatherFn(trudy), male))).
  508. %
  509.  
  510. % Adding (:) gender(skArg1ofFatherFn(trudy),male)    <-------- (pt(male(skArg1ofFatherFn(trudy)),rhs([{vg(s(skArg1ofFatherFn(trudy)))},gender(skArg1ofFatherFn(trudy),male)])) <=TF=> male(skArg1ofFatherFn(trudy)))
  511.  
  512.  
  513. % Removing (pfc_rem1(neg(gender(skArg1ofFatherFn(trudy),male)), (u,u))) neg(gender(skArg1ofFatherFn(trudy),male)).
  514.  
  515.  
  516. % Removing (pfc_rem1(neg(male(skArg1ofFatherFn(trudy))), (u,u))) neg(male(skArg1ofFatherFn(trudy))).
  517.  
  518.  
  519. % Removing (pfc_rem1(neg(father(skArg1ofFatherFn(trudy),trudy)), (u,u))) neg(father(skArg1ofFatherFn(trudy),trudy)).
  520.  
  521.  
  522. % Removing (pfc_rem1(neg(human(trudy)), (u,u))) neg(human(trudy)).
  523.  
  524. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  525. %                    gripe_time(warn(0.5370427960000086>0.5), user:pfc_fwd2(human(trudy), (u, u))).
  526. %
  527. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  528. %           succeed(user:must(repropagate(human(_)))).
  529. %
  530. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  531. %              gripe_time(warn(0.5402104600000115>0.5),
  532. %                     user:pfc_fwd2(repropagate(human(_)), (g, g))).
  533. %
  534. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  535. %            succeed(user:must(repropagate(parent(trudy, _)))).
  536. %
  537. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  538. %             succeed(user:must(repropagate(ancestor(trudy, _)))).
  539. %
  540.  
  541. % Removing (pfc_rem1(neg(parent(skArg1ofMotherFn(trudy),trudy)), (u,u))) neg(parent(skArg1ofMotherFn(trudy),trudy)).
  542.  
  543. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  544. %              succeed(user:must(repropagate(parent(skArg1ofMotherFn(trudy), _)))).
  545. %
  546. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  547. %               succeed(user:must(repropagate(male(skArg1ofMotherFn(trudy))))).
  548. %
  549.  
  550. % Removing (pfc_rem1(neg(female(skArg1ofMotherFn(trudy))), (u,u))) neg(female(skArg1ofMotherFn(trudy))).
  551.  
  552. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  553. %                succeed(user:must(repropagate(female(skArg1ofMotherFn(trudy))))).
  554. %
  555. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  556. %                 succeed(user:must(repropagate(grandparent(skArg1ofMotherFn(trudy), _)))).
  557. %
  558. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  559. %                  succeed(user:must(repropagate(breeder(_, skArg1ofMotherFn(trudy))))).
  560. %
  561.  
  562. % Removing (pfc_rem1(neg(parent(skArg1ofFatherFn(trudy),trudy)), (u,u))) neg(parent(skArg1ofFatherFn(trudy),trudy)).
  563.  
  564. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  565. %                   succeed(user:must(repropagate(parent(skArg1ofFatherFn(trudy), _)))).
  566. %
  567.  
  568. % Removing (pfc_rem1(neg(male(skArg1ofFatherFn(trudy))), (u,u))) neg(male(skArg1ofFatherFn(trudy))).
  569.  
  570. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  571. %                    succeed(user:must(repropagate(male(skArg1ofFatherFn(trudy))))).
  572. %
  573. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  574. %                     succeed(user:must(repropagate(female(skArg1ofFatherFn(trudy))))).
  575. %
  576. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  577. %                      succeed(user:must(repropagate(grandparent(skArg1ofFatherFn(trudy), _)))).
  578. %
  579. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  580. %                       succeed(user:must(repropagate(mother(skArg1ofFatherFn(trudy), _)))).
  581. %
  582. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  583. %    succeed(user:must(repropagate(breeder(_, skArg1ofFatherFn(trudy))))).
  584. %
  585. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  586. %                gripe_time(warn(2.3789810300000056>0.5),
  587. %                     user:pfc_fwd2(clif(all(A, exists([B, C], (human(A)=>mother(B, A)&father(C, A))))), (all(D, exists([E, F], (human(D)=>mother(E, D)&father(F, D)))), pt(all(A, exists([B, C], (human(A)=>mother(B, A)&father(C, A)))), (is_clif(all(A, exists([B, C], (human(A)=>mother(B, A)&father(C, A)))))->rhs([clif(all(A, exists([B, C], (human(A)=>mother(B, A)&father(C, A)))))])))))).
  588. %
  589. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  590. %      gripe_time(warn(2.3847636429999994>0.5),
  591. %             user:pfc_fwd2(all(A, exists([B, C], (human(A)=>mother(B, A)&father(C, A)))), (u, u))).
  592. %
  593. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:296
  594. %     gripe_time(warn(2.3878984830000007>0.6),
  595. %             user:pfc_assert_fast_timed(all(A, exists([B, C], (human(A)=>mother(B, A)&father(C, A)))), (u, u))).
  596. %
  597. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:297
  598. %               succeed(user:must(father(skArg1ofFatherFn(trudy), trudy))).
  599. %
  600. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  601. %            kif:cl_assert(pfc(hybrid), mother(trudy, eileen)).
  602. %
  603.  
  604. % Removing (pfc_rem1(neg(parent(eileen,douglas)), (u,u))) neg(parent(eileen,douglas)).
  605.  
  606. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  607. %                 succeed(user:must(repropagate(parent(eileen, _)))).
  608. %
  609. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  610. %                  succeed(user:must(repropagate(female(trudy)))).
  611. %
  612. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  613. %                   succeed(user:must(repropagate(male(trudy)))).
  614. %
  615. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  616. %                      succeed(user:must(repropagate(parent(trudy, _)))).
  617. %
  618. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  619. %          warn(nonground_remove_if_unsupported(pfc_rem1(father(trudy, _), (u, u)),
  620. %                                               father(trudy, _))).
  621. %
  622. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  623. %       warn(nonground_remove_if_unsupported(pfc_rem1(father(trudy, _), (u, u)),
  624. %                                       father(trudy, _))).
  625. %
  626.  
  627. % Removing (pfc_rem1(neg(grandparent(trudy,douglas)), (u,u))) neg(grandparent(trudy,douglas)).
  628.  
  629. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  630. %                      succeed(user:must(repropagate(grandparent(trudy, _)))).
  631. %
  632. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  633. %                       succeed(user:must(repropagate(male(trudy)))).
  634. %
  635. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  636. %          warn(nonground_remove_if_unsupported(pfc_rem1(grandfather(trudy, _), (u, u)),
  637. %                                               grandfather(trudy, _))).
  638. %
  639. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  640. %       warn(nonground_remove_if_unsupported(pfc_rem1(grandfather(trudy, _), (u, u)),
  641. %                                       grandfather(trudy, _))).
  642. %
  643. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  644. %           succeed(user:must(repropagate(breeder(_, trudy)))).
  645. %
  646. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  647. %                succeed(user:must(repropagate(female(skArg1ofFatherFn(trudy))))).
  648. %
  649.  
  650. % Removing (pfc_rem1(neg(male(skArg1ofFatherFn(trudy))), (u,u))) neg(male(skArg1ofFatherFn(trudy))).
  651.  
  652. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  653. %                 succeed(user:must(repropagate(male(skArg1ofFatherFn(trudy))))).
  654. %
  655.  
  656. % Removing (pfc_rem1(neg(female(skArg1ofMotherFn(trudy))), (u,u))) neg(female(skArg1ofMotherFn(trudy))).
  657.  
  658. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  659. %                 succeed(user:must(repropagate(female(skArg1ofMotherFn(trudy))))).
  660. %
  661. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  662. %                  succeed(user:must(repropagate(male(skArg1ofMotherFn(trudy))))).
  663. %
  664.  
  665. % Removing (pfc_rem1(neg(ancestor(eileen,douglas)), (u,u))) neg(ancestor(eileen,douglas)).
  666.  
  667. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  668. %                succeed(user:must(repropagate(ancestor(eileen, _)))).
  669. %
  670. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  671. %                 succeed(user:must(repropagate(ancestor(douglas, _)))).
  672. %
  673. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  674. %                succeed(user:must(repropagate(ancestor(douglas, _)))).
  675. %
  676. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  677. %                 succeed(user:must(repropagate(ancestor(douglas, _)))).
  678. %
  679.  
  680. % Removing (pfc_rem1(neg(ancestor(eileen,douglas)), (u,u))) neg(ancestor(eileen,douglas)).
  681.  
  682. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  683. %                  succeed(user:must(repropagate(ancestor(eileen, _)))).
  684. %
  685.  
  686. % Removing (pfc_rem1(neg(ancestor(eileen,douglas)), (u,u))) neg(ancestor(eileen,douglas)).
  687.  
  688. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  689. %                  succeed(user:must(repropagate(ancestor(eileen, _)))).
  690. %
  691. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  692. %                    succeed(user:must(repropagate(parent(trudy, _)))).
  693. %
  694. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  695. %                     succeed(user:must(repropagate(male(trudy)))).
  696. %
  697.  
  698. % Removing (pfc_rem1(neg(parent(eileen,douglas)), (u,u))) neg(parent(eileen,douglas)).
  699.  
  700. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  701. %                      succeed(user:must(repropagate(parent(eileen, _)))).
  702. %
  703.  
  704. % Removing (pfc_rem1(neg(female(trudy)), (u,u))) neg(female(trudy)).
  705.  
  706. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  707. %                       succeed(user:must(repropagate(female(trudy)))).
  708. %
  709.  
  710. % Removing (pfc_rem1(neg(parent(eileen,douglas)), (u,u))) neg(parent(eileen,douglas)).
  711.  
  712. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:298
  713. %                     succeed(user:must(repropagate(parent(eileen, _)))).
  714. %
  715.  
  716.  
  717.  
  718. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  719. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  720. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  721. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  722. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  723. kif :-
  724.         all(P1, all(P2, if((human(P1), ancestor(P1, P2)), human(P2)))).
  725. %
  726. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  727. pkif :-
  728.         all(P1, all(P2, (human(P1)&ancestor(P1, P2)=>human(P2)))).
  729. %
  730. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  731. cnf :-
  732.         human(P2)v (not(human(P1))v not(ancestor(P1, P2))).
  733. %
  734. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  735. horn :-
  736.  
  737.         [ (human(P2):-human(P1), ancestor(P1, P2)),
  738.           (not(human(P1)):-not(human(P2)), ancestor(P1, P2)),
  739.           (not(ancestor(P1, P2)):-not(human(P2)), human(P1))
  740.         ].
  741. %
  742. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  743. pfc :-
  744.  
  745.         [ (human(P1), ancestor(P1, P2)=>{vg(s(P2))}, human(P2)),
  746.           (neg(human(P1))<=neg(human(P2)), ancestor(P1, P2), {vg(s(P1))}),
  747.           (neg(ancestor(P1, P2))<=neg(human(P2)), human(P1), {vg(s(P2, P1))})
  748.         ].
  749. %
  750. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  751. %        succeed(user:call_with_attvars(asserta, human(eileen))).
  752. %
  753.  
  754. % Adding (:) human(eileen)    <-------- (pt(ancestor(trudy,_G3309),rhs([{vg(s(_G3309))},human(_G3309)])) <=TF=> ancestor(trudy,eileen))
  755.  
  756. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  757. %     succeed(user:call_with_attvars(asserta, human(douglas))).
  758. %
  759.  
  760. % Adding (:) human(douglas)    <-------- (pt(ancestor(eileen,_G6889),rhs([{vg(s(_G6889))},human(_G6889)])) <=TF=> ancestor(eileen,douglas))
  761.  
  762. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  763. %    succeed(user:call_with_attvars(asserta, if_missing(mother(_, douglas), mother(skArg1ofMotherFn(douglas), douglas)))).
  764. %
  765.  
  766. % Adding (:) if_missing(mother(_G13007,douglas),mother(skArg1ofMotherFn(douglas),douglas))    <-------- (pt(human(douglas),rhs([{vg(s(douglas))},if_missing(mother(_G13007,douglas),mother(skArg1ofMotherFn(douglas),douglas))])) <=TF=> human(douglas))
  767.  
  768.  
  769. % Removing (pfc_rem1(neg(if_missing(mother(_G23312,douglas),mother(skArg1ofMotherFn(douglas),douglas))), (u,u))) neg(if_missing(mother(_G20767,douglas),mother(skArg1ofMotherFn(douglas),douglas))).
  770.  
  771. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  772. %                      succeed(user:call_with_attvars(asserta, (~ (mother(A, douglas)/ (mother(A, douglas)\==mother(skArg1ofMotherFn(douglas), douglas)))=>mother(skArg1ofMotherFn(douglas), douglas)))).
  773. %
  774.  
  775. % Adding (:) ~ (mother(_G20767,douglas)/ (mother(_G20767,douglas)\==mother(skArg1ofMotherFn(douglas),douglas)))=>mother(skArg1ofMotherFn(douglas),douglas)    <-------- (pt(if_missing(mother(_G20767,douglas),mother(skArg1ofMotherFn(douglas),douglas)),rhs([ (~ (mother(_G20767,douglas)/ (mother(_G20767,douglas)\==mother(skArg1ofMotherFn(douglas),douglas)))=>mother(skArg1ofMotherFn(douglas),douglas))])) <=TF=> if_missing(mother(_G13007,douglas),mother(skArg1ofMotherFn(douglas),douglas)))
  776.  
  777. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  778. %     succeed(user:call_with_attvars(asserta, pfcMark(pfcCreates, p, mother(skArg1ofMotherFn(douglas), douglas), 0))).
  779. %
  780.  
  781. % Adding (:) pfcMark(pfcCreates,p,mother(skArg1ofMotherFn(douglas),douglas),0)    <-------- (g <=TF=> s(((~ (mother(_G32711,douglas)/ (mother(_G32711,douglas)\==mother(skArg1ofMotherFn(douglas),douglas)))=>mother(skArg1ofMotherFn(douglas),douglas)),u)))
  782.  
  783. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  784. %    succeed(user:call_with_attvars(asserta, if_missing(father(_, douglas), father(skArg1ofFatherFn(douglas), douglas)))).
  785. %
  786.  
  787. % Adding (:) if_missing(father(_G49432,douglas),father(skArg1ofFatherFn(douglas),douglas))    <-------- (pt(human(douglas),rhs([{vg(s(douglas))},if_missing(father(_G49432,douglas),father(skArg1ofFatherFn(douglas),douglas))])) <=TF=> human(douglas))
  788.  
  789.  
  790. % Removing (pfc_rem1(neg(if_missing(father(_G59773,douglas),father(skArg1ofFatherFn(douglas),douglas))), (u,u))) neg(if_missing(father(_G57228,douglas),father(skArg1ofFatherFn(douglas),douglas))).
  791.  
  792. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  793. %                      succeed(user:call_with_attvars(asserta, (~ (father(A, douglas)/ (father(A, douglas)\==father(skArg1ofFatherFn(douglas), douglas)))=>father(skArg1ofFatherFn(douglas), douglas)))).
  794. %
  795.  
  796. % Adding (:) ~ (father(_G57228,douglas)/ (father(_G57228,douglas)\==father(skArg1ofFatherFn(douglas),douglas)))=>father(skArg1ofFatherFn(douglas),douglas)    <-------- (pt(if_missing(father(_G57228,douglas),father(skArg1ofFatherFn(douglas),douglas)),rhs([ (~ (father(_G57228,douglas)/ (father(_G57228,douglas)\==father(skArg1ofFatherFn(douglas),douglas)))=>father(skArg1ofFatherFn(douglas),douglas))])) <=TF=> if_missing(father(_G49432,douglas),father(skArg1ofFatherFn(douglas),douglas)))
  797.  
  798. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  799. %     succeed(user:call_with_attvars(asserta, pfcMark(pfcCreates, p, father(skArg1ofFatherFn(douglas), douglas), 0))).
  800. %
  801.  
  802. % Adding (:) pfcMark(pfcCreates,p,father(skArg1ofFatherFn(douglas),douglas),0)    <-------- (g <=TF=> s(((~ (father(_G69172,douglas)/ (father(_G69172,douglas)\==father(skArg1ofFatherFn(douglas),douglas)))=>father(skArg1ofFatherFn(douglas),douglas)),u)))
  803.  
  804. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  805. %       succeed(user:call_with_attvars(asserta, father(skArg1ofFatherFn(douglas), douglas))).
  806. %
  807.  
  808. % Adding (:) father(skArg1ofFatherFn(douglas),douglas)    <-------- (nt(father(_G81770,douglas), (call_u(father(_G79210,douglas)),father(_G79210,douglas)\==father(skArg1ofFatherFn(douglas),douglas)),rhs([father(skArg1ofFatherFn(douglas),douglas)])) <=TF=> \+father(_G79207,douglas))
  809.  
  810. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  811. %      succeed(user:call_with_attvars(asserta, parent(skArg1ofFatherFn(douglas), douglas))).
  812. %
  813.  
  814. % Adding (:) parent(skArg1ofFatherFn(douglas),douglas)    <-------- (pt(father(skArg1ofFatherFn(douglas),douglas),rhs([{vg(s(douglas,skArg1ofFatherFn(douglas)))},parent(skArg1ofFatherFn(douglas),douglas)])) <=TF=> father(skArg1ofFatherFn(douglas),douglas))
  815.  
  816. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  817. %     succeed(user:call_with_attvars(asserta, ancestor(skArg1ofFatherFn(douglas), douglas))).
  818. %
  819.  
  820. % Adding (:) ancestor(skArg1ofFatherFn(douglas),douglas)    <-------- (pt(parent(skArg1ofFatherFn(douglas),douglas),rhs([{vg(s(douglas,skArg1ofFatherFn(douglas)))},ancestor(skArg1ofFatherFn(douglas),douglas)])) <=TF=> parent(skArg1ofFatherFn(douglas),douglas))
  821.  
  822.  
  823. % Removing (pfc_rem1(neg(ancestor(skArg1ofFatherFn(douglas),douglas)), (u,u))) neg(ancestor(skArg1ofFatherFn(douglas),douglas)).
  824.  
  825.  
  826. % Removing (pfc_rem1(neg(parent(skArg1ofFatherFn(douglas),douglas)), (u,u))) neg(parent(skArg1ofFatherFn(douglas),douglas)).
  827.  
  828. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  829. %      succeed(user:call_with_attvars(asserta, male(skArg1ofFatherFn(douglas)))).
  830. %
  831.  
  832. % Adding (:) male(skArg1ofFatherFn(douglas))    <-------- (pt(father(skArg1ofFatherFn(douglas),douglas),rhs([{vg(s(skArg1ofFatherFn(douglas)))},male(skArg1ofFatherFn(douglas))])) <=TF=> father(skArg1ofFatherFn(douglas),douglas))
  833.  
  834. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  835. %     succeed(user:call_with_attvars(asserta, neg(female(skArg1ofFatherFn(douglas))))).
  836. %
  837.  
  838. % Adding (:) neg(female(skArg1ofFatherFn(douglas)))    <-------- (pt(male(skArg1ofFatherFn(douglas)),rhs([{vg(s(skArg1ofFatherFn(douglas)))},neg(female(skArg1ofFatherFn(douglas)))])) <=TF=> male(skArg1ofFatherFn(douglas)))
  839.  
  840. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  841. %               succeed(user:call_with_attvars(asserta, neg(mother(skArg1ofFatherFn(douglas), _)))).
  842. %
  843.  
  844. % Adding (:) neg(mother(skArg1ofFatherFn(douglas),_G9597))    <-------- (pt(neg(female(skArg1ofFatherFn(douglas))), (vg(s(skArg1ofFatherFn(douglas)))->rhs([neg(mother(skArg1ofFatherFn(douglas),_G9597))]))) <=TF=> neg(female(skArg1ofFatherFn(douglas))))
  845.  
  846. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  847. %               warn(nonground_remove_if_unsupported(pfc_rem1(mother(skArg1ofFatherFn(douglas),
  848. %                                                               _),
  849. %                                                        (u, u)),
  850. %                                               mother(skArg1ofFatherFn(douglas), _))).
  851. %
  852. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  853. %           failed_show_call(user:retract(mother(skArg1ofFatherFn(douglas), _))).
  854. %
  855.  
  856. pfc_undo_e ; Fact not found in user db: mother(skArg1ofFatherFn(douglas),_G14883)
  857.  
  858. % Removing (pfc_rem1(mother(skArg1ofFatherFn(douglas),_G19720), (u,u))) mother(skArg1ofFatherFn(douglas),_G14883).
  859.  
  860. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  861. %            warn(nonground_remove_if_unsupported(pfc_rem1(mother(skArg1ofFatherFn(douglas),
  862. %                                                               _),
  863. %                                                        (u, u)),
  864. %                                               mother(skArg1ofFatherFn(douglas), _))).
  865. %
  866. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  867. %        failed_show_call(user:retract(mother(skArg1ofFatherFn(douglas), _))).
  868. %
  869.  
  870. pfc_undo_e ; Fact not found in user db: mother(skArg1ofFatherFn(douglas),_G14883)
  871.  
  872. % Removing (pfc_rem1(mother(skArg1ofFatherFn(douglas),_G30994), (u,u))) mother(skArg1ofFatherFn(douglas),_G14883).
  873.  
  874. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  875. %               succeed(user:call_with_attvars(asserta, neg(grandmother(skArg1ofFatherFn(douglas), _)))).
  876. %
  877.  
  878. % Adding (:) neg(grandmother(skArg1ofFatherFn(douglas),_G38220))    <-------- (pt(neg(female(skArg1ofFatherFn(douglas))), (vg(s(skArg1ofFatherFn(douglas)))->rhs([neg(grandmother(skArg1ofFatherFn(douglas),_G38220))]))) <=TF=> neg(female(skArg1ofFatherFn(douglas))))
  879.  
  880. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  881. %               warn(nonground_remove_if_unsupported(pfc_rem1(grandmother(skArg1ofFatherFn(douglas),
  882. %                                                                    _),
  883. %                                                        (u, u)),
  884. %                                               grandmother(skArg1ofFatherFn(douglas),
  885. %                                                           _))).
  886. %
  887. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  888. %           failed_show_call(user:retract(grandmother(skArg1ofFatherFn(douglas), _))).
  889. %
  890.  
  891. pfc_undo_e ; Fact not found in user db: grandmother(skArg1ofFatherFn(douglas),_G43557)
  892.  
  893. % Removing (pfc_rem1(grandmother(skArg1ofFatherFn(douglas),_G49181), (u,u))) grandmother(skArg1ofFatherFn(douglas),_G43557).
  894.  
  895. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  896. %            warn(nonground_remove_if_unsupported(pfc_rem1(grandmother(skArg1ofFatherFn(douglas),
  897. %                                                                    _),
  898. %                                                        (u, u)),
  899. %                                               grandmother(skArg1ofFatherFn(douglas),
  900. %                                                           _))).
  901. %
  902. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  903. %        failed_show_call(user:retract(grandmother(skArg1ofFatherFn(douglas), _))).
  904. %
  905.  
  906. pfc_undo_e ; Fact not found in user db: grandmother(skArg1ofFatherFn(douglas),_G43557)
  907.  
  908. % Removing (pfc_rem1(grandmother(skArg1ofFatherFn(douglas),_G50957), (u,u))) grandmother(skArg1ofFatherFn(douglas),_G43557).
  909.  
  910. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  911. %    succeed(user:call_with_attvars(asserta, neg(gender(skArg1ofFatherFn(douglas), female)))).
  912. %
  913.  
  914. % Adding (:) neg(gender(skArg1ofFatherFn(douglas),female))    <-------- (pt(neg(female(skArg1ofFatherFn(douglas))),rhs([{vg(s(skArg1ofFatherFn(douglas)))},neg(gender(skArg1ofFatherFn(douglas),female))])) <=TF=> neg(female(skArg1ofFatherFn(douglas))))
  915.  
  916.  
  917. Couldn't retract spft(gender(skArg1ofFatherFn(douglas),female),u,u).
  918. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  919. %                    failed_show_call(user:retract(gender(skArg1ofFatherFn(douglas), female))).
  920. %
  921.  
  922. pfc_undo_e ; Fact not found in user db: gender(skArg1ofFatherFn(douglas),female)
  923.  
  924. % Removing (pfc_rem1(gender(skArg1ofFatherFn(douglas),female), (u,u))) gender(skArg1ofFatherFn(douglas),female).
  925.  
  926.  
  927. Couldn't retract spft(gender(skArg1ofFatherFn(douglas),female),u,u).
  928. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  929. %                 failed_show_call(user:retract(gender(skArg1ofFatherFn(douglas), female))).
  930. %
  931.  
  932. pfc_undo_e ; Fact not found in user db: gender(skArg1ofFatherFn(douglas),female)
  933.  
  934. % Removing (pfc_rem1(gender(skArg1ofFatherFn(douglas),female), (u,u))) gender(skArg1ofFatherFn(douglas),female).
  935.  
  936.  
  937. Couldn't retract spft(female(skArg1ofFatherFn(douglas)),u,u).
  938. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  939. %                     failed_show_call(user:retract(female(skArg1ofFatherFn(douglas)))).
  940. %
  941.  
  942. pfc_undo_e ; Fact not found in user db: female(skArg1ofFatherFn(douglas))
  943.  
  944. % Removing (pfc_rem1(female(skArg1ofFatherFn(douglas)), (u,u))) female(skArg1ofFatherFn(douglas)).
  945.  
  946.  
  947. Couldn't retract spft(female(skArg1ofFatherFn(douglas)),u,u).
  948. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  949. %                  failed_show_call(user:retract(female(skArg1ofFatherFn(douglas)))).
  950. %
  951.  
  952. pfc_undo_e ; Fact not found in user db: female(skArg1ofFatherFn(douglas))
  953.  
  954. % Removing (pfc_rem1(female(skArg1ofFatherFn(douglas)), (u,u))) female(skArg1ofFatherFn(douglas)).
  955.  
  956. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  957. %     succeed(user:call_with_attvars(asserta, gender(skArg1ofFatherFn(douglas), male))).
  958. %
  959.  
  960. % Adding (:) gender(skArg1ofFatherFn(douglas),male)    <-------- (pt(male(skArg1ofFatherFn(douglas)),rhs([{vg(s(skArg1ofFatherFn(douglas)))},gender(skArg1ofFatherFn(douglas),male)])) <=TF=> male(skArg1ofFatherFn(douglas)))
  961.  
  962.  
  963. % Removing (pfc_rem1(neg(gender(skArg1ofFatherFn(douglas),male)), (u,u))) neg(gender(skArg1ofFatherFn(douglas),male)).
  964.  
  965.  
  966. % Removing (pfc_rem1(neg(male(skArg1ofFatherFn(douglas))), (u,u))) neg(male(skArg1ofFatherFn(douglas))).
  967.  
  968.  
  969. % Removing (pfc_rem1(neg(father(skArg1ofFatherFn(douglas),douglas)), (u,u))) neg(father(skArg1ofFatherFn(douglas),douglas)).
  970.  
  971.  
  972. % Removing (pfc_rem1(neg(human(douglas)), (u,u))) neg(human(douglas)).
  973.  
  974. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  975. %       succeed(user:call_with_attvars(asserta, if_missing(mother(_, eileen), mother(skArg1ofMotherFn(eileen), eileen)))).
  976. %
  977.  
  978. % Adding (:) if_missing(mother(_G49059,eileen),mother(skArg1ofMotherFn(eileen),eileen))    <-------- (pt(human(eileen),rhs([{vg(s(eileen))},if_missing(mother(_G49059,eileen),mother(skArg1ofMotherFn(eileen),eileen))])) <=TF=> human(eileen))
  979.  
  980.  
  981. % Removing (pfc_rem1(neg(if_missing(mother(_G59351,eileen),mother(skArg1ofMotherFn(eileen),eileen))), (u,u))) neg(if_missing(mother(_G56806,eileen),mother(skArg1ofMotherFn(eileen),eileen))).
  982.  
  983. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  984. %     succeed(user:call_with_attvars(asserta, (~ (mother(A, eileen)/ (mother(A, eileen)\==mother(skArg1ofMotherFn(eileen), eileen)))=>mother(skArg1ofMotherFn(eileen), eileen)))).
  985. %
  986.  
  987. % Adding (:) ~ (mother(_G56806,eileen)/ (mother(_G56806,eileen)\==mother(skArg1ofMotherFn(eileen),eileen)))=>mother(skArg1ofMotherFn(eileen),eileen)    <-------- (pt(if_missing(mother(_G56806,eileen),mother(skArg1ofMotherFn(eileen),eileen)),rhs([ (~ (mother(_G56806,eileen)/ (mother(_G56806,eileen)\==mother(skArg1ofMotherFn(eileen),eileen)))=>mother(skArg1ofMotherFn(eileen),eileen))])) <=TF=> if_missing(mother(_G49059,eileen),mother(skArg1ofMotherFn(eileen),eileen)))
  988.  
  989. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  990. %        succeed(user:call_with_attvars(asserta, pfcMark(pfcCreates, p, mother(skArg1ofMotherFn(eileen), eileen), 0))).
  991. %
  992.  
  993. % Adding (:) pfcMark(pfcCreates,p,mother(skArg1ofMotherFn(eileen),eileen),0)    <-------- (g <=TF=> s(((~ (mother(_G68726,eileen)/ (mother(_G68726,eileen)\==mother(skArg1ofMotherFn(eileen),eileen)))=>mother(skArg1ofMotherFn(eileen),eileen)),u)))
  994.  
  995. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  996. %       succeed(user:call_with_attvars(asserta, if_missing(father(_, eileen), father(skArg1ofFatherFn(eileen), eileen)))).
  997. %
  998.  
  999. % Adding (:) if_missing(father(_G85430,eileen),father(skArg1ofFatherFn(eileen),eileen))    <-------- (pt(human(eileen),rhs([{vg(s(eileen))},if_missing(father(_G85430,eileen),father(skArg1ofFatherFn(eileen),eileen))])) <=TF=> human(eileen))
  1000.  
  1001.  
  1002. % Removing (pfc_rem1(neg(if_missing(father(_G95758,eileen),father(skArg1ofFatherFn(eileen),eileen))), (u,u))) neg(if_missing(father(_G93213,eileen),father(skArg1ofFatherFn(eileen),eileen))).
  1003.  
  1004. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1005. %     succeed(user:call_with_attvars(asserta, (~ (father(A, eileen)/ (father(A, eileen)\==father(skArg1ofFatherFn(eileen), eileen)))=>father(skArg1ofFatherFn(eileen), eileen)))).
  1006. %
  1007.  
  1008. % Adding (:) ~ (father(_G93213,eileen)/ (father(_G93213,eileen)\==father(skArg1ofFatherFn(eileen),eileen)))=>father(skArg1ofFatherFn(eileen),eileen)    <-------- (pt(if_missing(father(_G93213,eileen),father(skArg1ofFatherFn(eileen),eileen)),rhs([ (~ (father(_G93213,eileen)/ (father(_G93213,eileen)\==father(skArg1ofFatherFn(eileen),eileen)))=>father(skArg1ofFatherFn(eileen),eileen))])) <=TF=> if_missing(father(_G85430,eileen),father(skArg1ofFatherFn(eileen),eileen)))
  1009.  
  1010. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1011. %        succeed(user:call_with_attvars(asserta, pfcMark(pfcCreates, p, father(skArg1ofFatherFn(eileen), eileen), 0))).
  1012. %
  1013.  
  1014. % Adding (:) pfcMark(pfcCreates,p,father(skArg1ofFatherFn(eileen),eileen),0)    <-------- (g <=TF=> s(((~ (father(_G105133,eileen)/ (father(_G105133,eileen)\==father(skArg1ofFatherFn(eileen),eileen)))=>father(skArg1ofFatherFn(eileen),eileen)),u)))
  1015.  
  1016. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1017. %          succeed(user:call_with_attvars(asserta, father(skArg1ofFatherFn(eileen), eileen))).
  1018. %
  1019.  
  1020. % Adding (:) father(skArg1ofFatherFn(eileen),eileen)    <-------- (nt(father(_G5180,eileen), (call_u(father(_G5117,eileen)),father(_G5117,eileen)\==father(skArg1ofFatherFn(eileen),eileen)),rhs([father(skArg1ofFatherFn(eileen),eileen)])) <=TF=> \+father(_G5114,eileen))
  1021.  
  1022. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1023. %         succeed(user:call_with_attvars(asserta, parent(skArg1ofFatherFn(eileen), eileen))).
  1024. %
  1025.  
  1026. % Adding (:) parent(skArg1ofFatherFn(eileen),eileen)    <-------- (pt(father(skArg1ofFatherFn(eileen),eileen),rhs([{vg(s(eileen,skArg1ofFatherFn(eileen)))},parent(skArg1ofFatherFn(eileen),eileen)])) <=TF=> father(skArg1ofFatherFn(eileen),eileen))
  1027.  
  1028. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1029. %      succeed(user:call_with_attvars(asserta, ancestor(skArg1ofFatherFn(eileen), douglas))).
  1030. %
  1031.  
  1032. % Adding (:) ancestor(skArg1ofFatherFn(eileen),douglas)    <-------- (pt(ancestor(eileen,_G18563),rhs([{vg(s(_G18563,skArg1ofFatherFn(eileen)))},ancestor(skArg1ofFatherFn(eileen),_G18563)])) <=TF=> ancestor(eileen,douglas))
  1033.  
  1034.  
  1035. % Removing (pfc_rem1(neg(ancestor(skArg1ofFatherFn(eileen),douglas)), (u,u))) neg(ancestor(skArg1ofFatherFn(eileen),douglas)).
  1036.  
  1037. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1038. %        succeed(user:call_with_attvars(asserta, ancestor(skArg1ofFatherFn(eileen), eileen))).
  1039. %
  1040.  
  1041. % Adding (:) ancestor(skArg1ofFatherFn(eileen),eileen)    <-------- (pt(parent(skArg1ofFatherFn(eileen),eileen),rhs([{vg(s(eileen,skArg1ofFatherFn(eileen)))},ancestor(skArg1ofFatherFn(eileen),eileen)])) <=TF=> parent(skArg1ofFatherFn(eileen),eileen))
  1042.  
  1043.  
  1044. % Removing (pfc_rem1(neg(ancestor(skArg1ofFatherFn(eileen),eileen)), (u,u))) neg(ancestor(skArg1ofFatherFn(eileen),eileen)).
  1045.  
  1046. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1047. %      succeed(user:call_with_attvars(asserta, grandparent(skArg1ofFatherFn(eileen), douglas))).
  1048. %
  1049.  
  1050. % Adding (:) grandparent(skArg1ofFatherFn(eileen),douglas)    <-------- (pt(parent(eileen,_G42383),rhs([{vg(s(_G42383,skArg1ofFatherFn(eileen)))},grandparent(skArg1ofFatherFn(eileen),_G42383)])) <=TF=> parent(eileen,douglas))
  1051.  
  1052.  
  1053. % Removing (pfc_rem1(neg(grandparent(skArg1ofFatherFn(eileen),douglas)), (u,u))) neg(grandparent(skArg1ofFatherFn(eileen),douglas)).
  1054.  
  1055.  
  1056. % Removing (pfc_rem1(neg(parent(skArg1ofFatherFn(eileen),eileen)), (u,u))) neg(parent(skArg1ofFatherFn(eileen),eileen)).
  1057.  
  1058. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1059. %         succeed(user:call_with_attvars(asserta, male(skArg1ofFatherFn(eileen)))).
  1060. %
  1061.  
  1062. % Adding (:) male(skArg1ofFatherFn(eileen))    <-------- (pt(father(skArg1ofFatherFn(eileen),eileen),rhs([{vg(s(skArg1ofFatherFn(eileen)))},male(skArg1ofFatherFn(eileen))])) <=TF=> father(skArg1ofFatherFn(eileen),eileen))
  1063.  
  1064. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1065. %        succeed(user:call_with_attvars(asserta, grandfather(skArg1ofFatherFn(eileen), douglas))).
  1066. %
  1067.  
  1068. % Adding (:) grandfather(skArg1ofFatherFn(eileen),douglas)    <-------- (pt(male(skArg1ofFatherFn(eileen)),rhs([{vg(s(douglas,skArg1ofFatherFn(eileen)))},grandfather(skArg1ofFatherFn(eileen),douglas)])) <=TF=> male(skArg1ofFatherFn(eileen)))
  1069.  
  1070.  
  1071. % Removing (pfc_rem1(neg(grandfather(skArg1ofFatherFn(eileen),douglas)), (u,u))) neg(grandfather(skArg1ofFatherFn(eileen),douglas)).
  1072.  
  1073. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1074. %        succeed(user:call_with_attvars(asserta, neg(female(skArg1ofFatherFn(eileen))))).
  1075. %
  1076.  
  1077. % Adding (:) neg(female(skArg1ofFatherFn(eileen)))    <-------- (pt(male(skArg1ofFatherFn(eileen)),rhs([{vg(s(skArg1ofFatherFn(eileen)))},neg(female(skArg1ofFatherFn(eileen)))])) <=TF=> male(skArg1ofFatherFn(eileen)))
  1078.  
  1079. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1080. %                  succeed(user:call_with_attvars(asserta, neg(mother(skArg1ofFatherFn(eileen), _)))).
  1081. %
  1082.  
  1083. % Adding (:) neg(mother(skArg1ofFatherFn(eileen),_G89027))    <-------- (pt(neg(female(skArg1ofFatherFn(eileen))), (vg(s(skArg1ofFatherFn(eileen)))->rhs([neg(mother(skArg1ofFatherFn(eileen),_G89027))]))) <=TF=> neg(female(skArg1ofFatherFn(eileen))))
  1084.  
  1085. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1086. %                  warn(nonground_remove_if_unsupported(pfc_rem1(mother(skArg1ofFatherFn(eileen),
  1087. %                                                                       _),
  1088. %                                                                (u, u)),
  1089. %                                                       mother(skArg1ofFatherFn(eileen), _))).
  1090. %
  1091. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1092. %              failed_show_call(user:retract(mother(skArg1ofFatherFn(eileen), _))).
  1093. %
  1094.  
  1095. pfc_undo_e ; Fact not found in user db: mother(skArg1ofFatherFn(eileen),_G94308)
  1096.  
  1097. % Removing (pfc_rem1(mother(skArg1ofFatherFn(eileen),_G99143), (u,u))) mother(skArg1ofFatherFn(eileen),_G94308).
  1098.  
  1099. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1100. %               warn(nonground_remove_if_unsupported(pfc_rem1(mother(skArg1ofFatherFn(eileen),
  1101. %                                                               _),
  1102. %                                                        (u, u)),
  1103. %                                               mother(skArg1ofFatherFn(eileen), _))).
  1104. %
  1105. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1106. %           failed_show_call(user:retract(mother(skArg1ofFatherFn(eileen), _))).
  1107. %
  1108.  
  1109. pfc_undo_e ; Fact not found in user db: mother(skArg1ofFatherFn(eileen),_G94308)
  1110.  
  1111. % Removing (pfc_rem1(mother(skArg1ofFatherFn(eileen),_G111527), (u,u))) mother(skArg1ofFatherFn(eileen),_G94308).
  1112.  
  1113. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1114. %                  succeed(user:call_with_attvars(asserta, neg(grandmother(skArg1ofFatherFn(eileen), _)))).
  1115. %
  1116.  
  1117. % Adding (:) neg(grandmother(skArg1ofFatherFn(eileen),_G119305))    <-------- (pt(neg(female(skArg1ofFatherFn(eileen))), (vg(s(skArg1ofFatherFn(eileen)))->rhs([neg(grandmother(skArg1ofFatherFn(eileen),_G119305))]))) <=TF=> neg(female(skArg1ofFatherFn(eileen))))
  1118.  
  1119. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1120. %                  warn(nonground_remove_if_unsupported(pfc_rem1(grandmother(skArg1ofFatherFn(eileen),
  1121. %                                                                            _),
  1122. %                                                                (u, u)),
  1123. %                                                       grandmother(skArg1ofFatherFn(eileen),
  1124. %                                                                   _))).
  1125. %
  1126. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1127. %              failed_show_call(user:retract(grandmother(skArg1ofFatherFn(eileen), _))).
  1128. %
  1129.  
  1130. pfc_undo_e ; Fact not found in user db: grandmother(skArg1ofFatherFn(eileen),_G6920)
  1131.  
  1132. % Removing (pfc_rem1(grandmother(skArg1ofFatherFn(eileen),_G12570), (u,u))) grandmother(skArg1ofFatherFn(eileen),_G6920).
  1133.  
  1134. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1135. %               warn(nonground_remove_if_unsupported(pfc_rem1(grandmother(skArg1ofFatherFn(eileen),
  1136. %                                                                    _),
  1137. %                                                        (u, u)),
  1138. %                                               grandmother(skArg1ofFatherFn(eileen),
  1139. %                                                           _))).
  1140. %
  1141. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1142. %           failed_show_call(user:retract(grandmother(skArg1ofFatherFn(eileen), _))).
  1143. %
  1144.  
  1145. pfc_undo_e ; Fact not found in user db: grandmother(skArg1ofFatherFn(eileen),_G6920)
  1146.  
  1147. % Removing (pfc_rem1(grandmother(skArg1ofFatherFn(eileen),_G14340), (u,u))) grandmother(skArg1ofFatherFn(eileen),_G6920).
  1148.  
  1149. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1150. %       succeed(user:call_with_attvars(asserta, neg(gender(skArg1ofFatherFn(eileen), female)))).
  1151. %
  1152.  
  1153. % Adding (:) neg(gender(skArg1ofFatherFn(eileen),female))    <-------- (pt(neg(female(skArg1ofFatherFn(eileen))),rhs([{vg(s(skArg1ofFatherFn(eileen)))},neg(gender(skArg1ofFatherFn(eileen),female))])) <=TF=> neg(female(skArg1ofFatherFn(eileen))))
  1154.  
  1155.  
  1156. Couldn't retract spft(gender(skArg1ofFatherFn(eileen),female),u,u).
  1157. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1158. %                       failed_show_call(user:retract(gender(skArg1ofFatherFn(eileen), female))).
  1159. %
  1160.  
  1161. pfc_undo_e ; Fact not found in user db: gender(skArg1ofFatherFn(eileen),female)
  1162.  
  1163. % Removing (pfc_rem1(gender(skArg1ofFatherFn(eileen),female), (u,u))) gender(skArg1ofFatherFn(eileen),female).
  1164.  
  1165.  
  1166. Couldn't retract spft(gender(skArg1ofFatherFn(eileen),female),u,u).
  1167. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1168. %                    failed_show_call(user:retract(gender(skArg1ofFatherFn(eileen), female))).
  1169. %
  1170.  
  1171. pfc_undo_e ; Fact not found in user db: gender(skArg1ofFatherFn(eileen),female)
  1172.  
  1173. % Removing (pfc_rem1(gender(skArg1ofFatherFn(eileen),female), (u,u))) gender(skArg1ofFatherFn(eileen),female).
  1174.  
  1175.  
  1176. Couldn't retract spft(female(skArg1ofFatherFn(eileen)),u,u).
  1177. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1178. %    failed_show_call(user:retract(female(skArg1ofFatherFn(eileen)))).
  1179. %
  1180.  
  1181. pfc_undo_e ; Fact not found in user db: female(skArg1ofFatherFn(eileen))
  1182.  
  1183. % Removing (pfc_rem1(female(skArg1ofFatherFn(eileen)), (u,u))) female(skArg1ofFatherFn(eileen)).
  1184.  
  1185.  
  1186. Couldn't retract spft(female(skArg1ofFatherFn(eileen)),u,u).
  1187. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1188. %                     failed_show_call(user:retract(female(skArg1ofFatherFn(eileen)))).
  1189. %
  1190.  
  1191. pfc_undo_e ; Fact not found in user db: female(skArg1ofFatherFn(eileen))
  1192.  
  1193. % Removing (pfc_rem1(female(skArg1ofFatherFn(eileen)), (u,u))) female(skArg1ofFatherFn(eileen)).
  1194.  
  1195. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1196. %        succeed(user:call_with_attvars(asserta, gender(skArg1ofFatherFn(eileen), male))).
  1197. %
  1198.  
  1199. % Adding (:) gender(skArg1ofFatherFn(eileen),male)    <-------- (pt(male(skArg1ofFatherFn(eileen)),rhs([{vg(s(skArg1ofFatherFn(eileen)))},gender(skArg1ofFatherFn(eileen),male)])) <=TF=> male(skArg1ofFatherFn(eileen)))
  1200.  
  1201.  
  1202. % Removing (pfc_rem1(neg(gender(skArg1ofFatherFn(eileen),male)), (u,u))) neg(gender(skArg1ofFatherFn(eileen),male)).
  1203.  
  1204.  
  1205. % Removing (pfc_rem1(neg(male(skArg1ofFatherFn(eileen))), (u,u))) neg(male(skArg1ofFatherFn(eileen))).
  1206.  
  1207.  
  1208. % Removing (pfc_rem1(neg(father(skArg1ofFatherFn(eileen),eileen)), (u,u))) neg(father(skArg1ofFatherFn(eileen),eileen)).
  1209.  
  1210.  
  1211. % Removing (pfc_rem1(neg(human(eileen)), (u,u))) neg(human(eileen)).
  1212.  
  1213. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1214. %         gripe_time(warn(0.9244512380000032>0.5),
  1215. %             user:pfc_fwd2(human(eileen), (ancestor(trudy, eileen), pt(ancestor(trudy, A), rhs([{vg(s(A))}, human(A)]))))).
  1216. %
  1217.  
  1218. % Removing (pfc_rem1(neg(human(trudy)), (u,u))) neg(human(trudy)).
  1219.  
  1220. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1221. %            gripe_time(warn(1.1154199260000013>0.5), user:pfc_fwd2(human(trudy), (u, u))).
  1222. %
  1223. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1224. %                       succeed(user:must(repropagate(human(_)))).
  1225. %
  1226. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1227. %      gripe_time(warn(1.1188196370000014>0.5),
  1228. %             user:pfc_fwd2(repropagate(human(_)), (g, g))).
  1229. %
  1230.  
  1231. % Removing (pfc_rem1(neg(ancestor(trudy,eileen)), (u,u))) neg(ancestor(trudy,eileen)).
  1232.  
  1233.  
  1234. % Removing (pfc_rem1(neg(ancestor(trudy,douglas)), (u,u))) neg(ancestor(trudy,douglas)).
  1235.  
  1236. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1237. %    succeed(user:must(repropagate(ancestor(trudy, _)))).
  1238. %
  1239.  
  1240. % Removing (pfc_rem1(neg(ancestor(eileen,douglas)), (u,u))) neg(ancestor(eileen,douglas)).
  1241.  
  1242. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1243. %     succeed(user:must(repropagate(ancestor(eileen, _)))).
  1244. %
  1245. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1246. %      succeed(user:must(repropagate(ancestor(douglas, _)))).
  1247. %
  1248.  
  1249. % Removing (pfc_rem1(neg(parent(skArg1ofFatherFn(douglas),douglas)), (u,u))) neg(parent(skArg1ofFatherFn(douglas),douglas)).
  1250.  
  1251. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1252. %       succeed(user:must(repropagate(parent(skArg1ofFatherFn(douglas), _)))).
  1253. %
  1254.  
  1255. % Removing (pfc_rem1(neg(male(skArg1ofFatherFn(douglas))), (u,u))) neg(male(skArg1ofFatherFn(douglas))).
  1256.  
  1257. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1258. %        succeed(user:must(repropagate(male(skArg1ofFatherFn(douglas))))).
  1259. %
  1260. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1261. %         succeed(user:must(repropagate(parent(douglas, _)))).
  1262. %
  1263. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1264. %          succeed(user:must(repropagate(female(skArg1ofFatherFn(douglas))))).
  1265. %
  1266. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1267. %           succeed(user:must(repropagate(grandparent(skArg1ofFatherFn(douglas), _)))).
  1268. %
  1269. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1270. %            succeed(user:must(repropagate(mother(skArg1ofFatherFn(douglas), _)))).
  1271. %
  1272. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1273. %             succeed(user:must(repropagate(breeder(_, skArg1ofFatherFn(douglas))))).
  1274. %
  1275.  
  1276. % Removing (pfc_rem1(neg(parent(skArg1ofFatherFn(eileen),eileen)), (u,u))) neg(parent(skArg1ofFatherFn(eileen),eileen)).
  1277.  
  1278. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1279. %              succeed(user:must(repropagate(parent(skArg1ofFatherFn(eileen), _)))).
  1280. %
  1281.  
  1282. % Removing (pfc_rem1(neg(male(skArg1ofFatherFn(eileen))), (u,u))) neg(male(skArg1ofFatherFn(eileen))).
  1283.  
  1284. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1285. %               succeed(user:must(repropagate(male(skArg1ofFatherFn(eileen))))).
  1286. %
  1287.  
  1288. % Removing (pfc_rem1(neg(parent(eileen,douglas)), (u,u))) neg(parent(eileen,douglas)).
  1289.  
  1290. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1291. %                succeed(user:must(repropagate(parent(eileen, _)))).
  1292. %
  1293. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1294. %                 succeed(user:must(repropagate(female(skArg1ofFatherFn(eileen))))).
  1295. %
  1296.  
  1297. % Removing (pfc_rem1(neg(grandparent(skArg1ofFatherFn(eileen),douglas)), (u,u))) neg(grandparent(skArg1ofFatherFn(eileen),douglas)).
  1298.  
  1299. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1300. %                  succeed(user:must(repropagate(grandparent(skArg1ofFatherFn(eileen), _)))).
  1301. %
  1302. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1303. %                   succeed(user:must(repropagate(mother(skArg1ofFatherFn(eileen), _)))).
  1304. %
  1305. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1306. %                    succeed(user:must(repropagate(breeder(_, skArg1ofFatherFn(eileen))))).
  1307. %
  1308. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1309. %        gripe_time(warn(1.2072329730000035>0.5),
  1310. %             user:pfc_fwd2(bt(neg(human(P1)), pt(neg(human(P2)), pt(ancestor(P1, P2), (vg(s(P1))->rhs([neg(human(P1))]))))), ((neg(human(P1))<=neg(human(P2)), ancestor(P1, P2), {vg(s(P1))}), u))).
  1311. %
  1312. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1313. %       gripe_time(warn(1.211337585999999>0.6),
  1314. %             user:pfc_assert_fast_timed(bt(neg(human(P1)), pt(neg(human(P2)), pt(ancestor(P1, P2), (vg(s(P1))->rhs([neg(human(P1))]))))), ((neg(human(P1))<=neg(human(P2)), ancestor(P1, P2), {vg(s(P1))}), u))).
  1315. %
  1316. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:299
  1317. %          gripe_time(warn(1.213220505999999>0.5),
  1318. %                     user:pfc_fwd2((neg(human(P1))<=neg(human(P2)), ancestor(P1, P2), {vg(s(P1))}), (clif(if((human(P1), ancestor(P1, P2)), human(P2))), pt(clif(if((human(P1), ancestor(P1, P2)), human(P2))), rhs([{clif_to_prolog(if((human(P1), ancestor(P1, P2)), human(P2)), [ (human(P1), ancestor(P1, P2)=>{vg(s(P2))}, human(P2)), (neg(human(P1))<=neg(human(P2)), ancestor(P1, P2), {vg(s(P1))}), (neg(ancestor(P1, P2))<=neg(human(P2)), human(P1), {vg(s(P2, P1))})])}, [ (human(P1), ancestor(P1, P2)=>{vg(s(P2))}, human(P2)), (neg(human(P1))<=neg(human(P2)), ancestor(P1, P2), {vg(s(P1))}), (neg(ancestor(P1, P2))<=neg(human(P2)), human(P1), {vg(s(P2, P1))})], {sanity((clif_must if((human(P1), ancestor(P1, P2)), human(P2))))}]))))).
  1319. %
  1320.  
  1321.  
  1322.  
  1323. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1324. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
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!