API tools faq
paste
Advertisement
logicmoo

% /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/

logicmoo
Oct 25th, 2015
353
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 85.00 KB | None | 0 0
raw download clone embed print report
  1. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/logicmoo_utils.pl:159
  2. % Adding logicmoo/utils to autoload path
  3. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/logicmoo_base.pl:92
  4. % Adding logicmoo/[mpred,snark] to autoload path
  5. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/logicmoo_base.pl:99
  6. % system_kb=baseKB.
  7. %    library(http/http_server_files) compiled into http_server_files 0.00 sec, 17 clauses
  8. %    library(pldoc) compiled into pldoc 0.07 sec, 962 clauses
  9. %     library(http/http_hook) compiled into http_hook 0.00 sec, 6 clauses
  10. %    library(pldoc/doc_access) compiled into doc_access 0.00 sec, 42 clauses
  11. %      library(process) compiled into process 0.01 sec, 66 clauses
  12. %      library(xpath) compiled into xpath 0.01 sec, 121 clauses
  13. %      library(http/http_client) compiled into http_client 0.01 sec, 131 clauses
  14. %      library(archive) compiled into archive 0.01 sec, 54 clauses
  15. %     library(prolog_pack) compiled into prolog_pack 0.08 sec, 910 clauses
  16. %      library(assoc) compiled into assoc 0.01 sec, 140 clauses
  17. %      library(ugraphs) compiled into ugraphs 0.01 sec, 124 clauses
  18. %     library(http/html_head) compiled into html_head 0.03 sec, 415 clauses
  19. %      library(http/jquery) compiled into jquery 0.00 sec, 12 clauses
  20. %         doc_util compiled into doc_util 0.00 sec, 17 clauses
  21. %           http_multipart_plugin compiled into http_multipart_plugin 0.00 sec, 38 clauses
  22. %          library(http/http_parameters) compiled into http_parameters 0.01 sec, 164 clauses
  23. %          library(www_browser) compiled into www_browser 0.00 sec, 55 clauses
  24. %            library(prolog_xref) compiled into prolog_xref 0.04 sec, 707 clauses
  25. %             library(dialect/swi/syspred_options) compiled into prolog_system_predicate_options 0.00 sec, 139 clauses
  26. %            library(predicate_options) compiled into predicate_options 0.02 sec, 317 clauses
  27. %           library(prolog_colour) compiled into prolog_colour 0.10 sec, 1,706 clauses
  28. %           doc_colour compiled into pldoc_colours 0.00 sec, 15 clauses
  29. %          pldoc(doc_htmlsrc) compiled into pldoc_htmlsrc 0.12 sec, 1,930 clauses
  30. %         library(doc_http) compiled into pldoc_http 0.15 sec, 2,341 clauses
  31. %        doc_index compiled into pldoc_index 0.17 sec, 2,531 clauses
  32. %       doc_search compiled into pldoc_search 0.18 sec, 2,674 clauses
  33. %      doc_man compiled into pldoc_man 0.22 sec, 3,048 clauses
  34. %     doc_html compiled into pldoc_html 0.29 sec, 3,709 clauses
  35. %    library(pldoc/doc_pack) compiled into pldoc_pack 0.41 sec, 5,080 clauses
  36. %    library(unix) compiled into unix 0.01 sec, 44 clauses
  37. %    library(rdf_ntriples) compiled into rdf_ntriples_old 0.00 sec, 79 clauses
  38. %    library(tty) compiled into tty 0.00 sec, 55 clauses
  39. %     library(nb_set) compiled into nb_set 0.00 sec, 26 clauses
  40. %    library(solution_sequences) compiled into solution_sequences 0.01 sec, 83 clauses
  41. %    library(http/http_error) compiled into http_error 0.00 sec, 7 clauses
  42. %     library(http/http_dirindex) compiled into http_dirindex 0.00 sec, 68 clauses
  43. %    library(http/http_files) compiled into http_files 0.01 sec, 83 clauses
  44. %    library(http/http_session) compiled into http_session 0.01 sec, 127 clauses
  45. %     library(when) compiled into when 0.00 sec, 48 clauses
  46. %    library(logicmoo/util/logicmoo_util_varnames) compiled into logicmoo_varnames 0.02 sec, 245 clauses
  47. %   logicmoo(mpred_online/mpred_www) compiled into mpred_www 0.61 sec, 7,125 clauses
  48. % Started server at http://localhost:3020/
  49. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/mpred_system.pfc.pl:1082
  50. % gripe_time(warn(1.8462225110000006>0.8), baseKB:mpred_fwd2(repropagate(tCol(_G2875)),  (g, g))).
  51. % gripe_time(warn(1.855682033999999>0.6), baseKB:ain_fast_timed(baseKB: ==>((tCol(P), ~ttFormatType(P)), tSet(P)),  (u, u))).
  52. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/mpred_system.pfc.pl:1084
  53. % gripe_time(warn(0.6102521170000017>0.6), baseKB:ain_fast_timed(baseKB: ==>(prologHybrid(X)/has_functor(X), {kb_dynamic(X)}),  (u, u))).
  54. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/mpred_system.pfc.pl:1106
  55. % gripe_time(warn(1.0474462309999986>0.6), baseKB:ain_fast_timed(baseKB: (arity(Pred, 2), tPred(Pred)<==>ptBinaryPredicate(Pred)),  (u, u))).
  56. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/mpred_system.pfc.pl:1210
  57. % gripe_time(warn(0.9374035399999983>0.6), baseKB:ain_fast_timed(baseKB: ==>((arity(Pred, 2), argIsa(Pred, 2, ftPercent)), singleValuedInArg(Pred, 2)),  (u, u))).
  58. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/autoexec.pfc.pl:104
  59. % info(info(load_mpred_file_complete(...('pfc/mpred_system.pfc.pl')))).
  60. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/autoexec.pfc.pl:106
  61. % info(info(load_mpred_file_complete(...('pfc/if_missing.pfc.pl')))).
  62. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/autoexec.pfc.pl:108
  63. % info(info(load_mpred_file_complete(...('pfc/mpred_default.pfc.pl')))).
  64. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/autoexec.pfc.pl:110
  65. % info(info(load_mpred_file_complete(...('pfc/singleValued.pfc.pl')))).
  66. % /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/mpred/mpred_userkb.pl:493
  67. % info(info(load_mpred_file_complete(...('pfc/autoexec.pfc.pl')))).
  68. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:7
  69. % info(info(load_mpred_file_complete(...('snark/common_logic_clif.pfc')))).
  70.  
  71. %=  setup pfc
  72.  
  73.  
  74.  
  75.  
  76.  
  77. :- file_begin(pfc).
  78.  
  79.  
  80. %= save compiled clauses using forward chaining storage (by default)
  81. %= we are using forward chaining just so any logical errors, performance and program bugs manefest
  82. %= immediately
  83.  
  84.  
  85.  
  86.  
  87.  
  88. :- set_clause_compile(fwc).
  89.  
  90.  
  91.  
  92.  
  93.  
  94.  
  95.  
  96. must_is_entailed(G) :-
  97.         must(is_entailed(G)).
  98.  
  99.  
  100. %= ````
  101. %= logic tests...
  102. %= ````
  103.  
  104.  
  105.  
  106.  
  107.  
  108.  
  109. prologBuiltin(otherGender/2).
  110.  
  111.  
  112.  
  113.  
  114. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  115. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  116. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  117. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  118. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:30
  119. % kif :-
  120. %       neg(tCol(otherGender)).
  121. % pkif :-
  122. %       not(tCol(otherGender)).
  123. Warning: /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/snark/common_logic_compiler.pl:47:
  124.         Local definition of fi:'$pldoc'/4 overrides weak import from logicmoo_user
  125. % cnf :-
  126. %       not(tCol(otherGender)).
  127. % horn :-
  128. %       [not(tCol(otherGender))].
  129. % pfc :-
  130. %       [neg(tCol(otherGender))].
  131.  
  132.  
  133.  
  134. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  135. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  136. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  137. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  138. % kif :-
  139. %       neg(tCol(otherGender)).
  140. % pkif :-
  141. %       not(tCol(otherGender)).
  142. % cnf :-
  143. %       not(tCol(otherGender)).
  144. % horn :-
  145. %       [not(tCol(otherGender))].
  146.  
  147.  
  148.  
  149.  
  150.  
  151.  
  152. otherGender(male, female).
  153.  
  154.  
  155.  
  156.  
  157.  
  158.  
  159.  
  160. otherGender(female, male).
  161.  
  162.  
  163.  
  164.  
  165.  
  166.  
  167.  
  168. tCol(male).
  169.  
  170.  
  171.  
  172.  
  173.  
  174.  
  175.  
  176. :- (dynamic bore_offspring/2, gender/2).
  177.  
  178.  
  179.  
  180.  
  181.  
  182.  
  183.  
  184. <=>(bore_offspring(X, Y), bore_offspring(Y, X)).
  185.  
  186.  
  187.  
  188.  
  189. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  190. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  191. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  192. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  193. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:36
  194. % kif :-
  195. %       all(_G11915,
  196. %           all(_G11914,
  197. %               <=>(bore_offspring(_G11914, _G11915), bore_offspring(_G11915, _G11914)))).
  198. % pkif :-
  199. %       all(_G11915,
  200. %           all(_G11914,
  201. %               <=>(bore_offspring(_G11914, _G11915), bore_offspring(_G11915, _G11914)))).
  202. % cnf :-
  203. %       (not(bore_offspring(_G11914, _G11915))v bore_offspring(_G11915, _G11914))& (not(bore_offspring(_G11915, _G11914))v bore_offspring(_G11914, _G11915)).
  204. % horn :-
  205. %
  206. %       [ (not(bore_offspring(_G2657, _G2658)):-not(bore_offspring(_G2658, _G2657))),
  207. %         (bore_offspring(_G2619, _G2620):-bore_offspring(_G2620, _G2619))
  208. %       ].
  209. % pfc :-
  210. %
  211. %       [ (neg(bore_offspring(_G2657, _G2658))<-neg(bore_offspring(_G2658, _G2657)), {is_unit(_G2658, _G2657)}),
  212. %         ==>((bore_offspring(_G2620, _G2619), {is_unit(_G2620, _G2619)}), bore_offspring(_G2619, _G2620))
  213. %       ].
  214.  
  215.  
  216.  
  217. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  218. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  219. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  220. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  221. % kif :-
  222. %       all(_G19724,
  223. %           all(_G19723,
  224. %               <=>(bore_offspring(_G19723, _G19724), bore_offspring(_G19724, _G19723)))).
  225. % pkif :-
  226. %       all(_G19724,
  227. %           all(_G19723,
  228. %               <=>(bore_offspring(_G19723, _G19724), bore_offspring(_G19724, _G19723)))).
  229. % cnf :-
  230. %       (not(bore_offspring(_G2607, _G2608))v bore_offspring(_G2608, _G2607))& (not(bore_offspring(_G2608, _G2607))v bore_offspring(_G2607, _G2608)).
  231. % horn :-
  232. %
  233. %       [ (not(bore_offspring(_G2553, _G2554)):-not(bore_offspring(_G2554, _G2553))),
  234. %         (bore_offspring(_G2515, _G2516):-bore_offspring(_G2516, _G2515))
  235. %       ].
  236. % gripe_time(warn(0.9110782650000004>0.8), fi:mpred_fwd2(clif(<=>(bore_offspring(_G1738, _G1741), bore_offspring(_G1741, _G1738))),  (<=>(bore_offspring(_G1744, _G1747), bore_offspring(_G1747, _G1744)), asePFC:pt(umt, <=>(bore_offspring(_G1738, _G1741), bore_offspring(_G1741, _G1738)),  (is_kif_rule(<=>(bore_offspring(_G1738, _G1741), bore_offspring(_G1741, _G1738)))->rhs([clif(<=>(bore_offspring(_G1738, _G1741), bore_offspring(_G1741, _G1738)))])))))).
  237. % gripe_time(warn(0.9160186420000009>0.8), fi:mpred_fwd2(<=>(bore_offspring(X, Y), bore_offspring(Y, X)),  (u, u))).
  238. % gripe_time(warn(0.9202392639999992>0.6), fi:ain_fast_timed(fi: <=>(bore_offspring(X, Y), bore_offspring(Y, X)),  (u, u))).
  239.  
  240.  
  241.  
  242.  
  243.  
  244.  
  245. =>((bore_offspring(X, Y), gender(X, G1), otherGender(G1, G2)), gender(Y, G2)).
  246.  
  247.  
  248.  
  249.  
  250. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  251. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  252. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  253. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  254. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:38
  255. % kif :-
  256. %       all(_G18427,
  257. %           all(_G18434,
  258. %               all(_G18428,
  259. %                   all(_G18437,
  260. %                       =>((bore_offspring(_G18427, _G18428), gender(_G18427, _G18434), otherGender(_G18434, _G18437)), gender(_G18428, _G18437)))))).
  261. % pkif :-
  262. %       all(_G5618,
  263. %           all(_G5625,
  264. %               all(_G5619,
  265. %                   all(_G5628,
  266. %                       =>(bore_offspring(_G5618, _G5619)& (gender(_G5618, _G5625)&otherGender(_G5625, _G5628)), gender(_G5619, _G5628)))))).
  267. % cnf :-
  268. %       gender(_G5619, _G5628)v (not(bore_offspring(_G5618, _G5619))v (not(gender(_G5618, _G5625))v not(otherGender(_G5625, _G5628)))).
  269. % horn :-
  270. %
  271. %       [ (not(bore_offspring(_G5815, _G5816)):-not(gender(_G5816, _G5824)), gender(_G5815, _G5830), otherGender(_G5830, _G5824)),
  272. %         (not(gender(_G5731, _G5732)):-not(gender(_G5739, _G5740)), bore_offspring(_G5731, _G5739), otherGender(_G5732, _G5740)),
  273. %         (not(otherGender(_G5647, _G5648)):-not(gender(_G5655, _G5648)), bore_offspring(_G5661, _G5655), gender(_G5661, _G5647)),
  274. %         (gender(_G5897, _G5898):-bore_offspring(_G5903, _G5897), gender(_G5903, _G5910), otherGender(_G5910, _G5898))
  275. %       ].
  276. % pfc :-
  277. %
  278. %       [ (neg(bore_offspring(_G5815, _G5816))<-neg(gender(_G5816, _G5824)), gender(_G5815, _G5830), otherGender(_G5830, _G5824), {is_unit(_G5816, _G5815)}),
  279. %         (neg(gender(_G5731, _G5732))<-neg(gender(_G5739, _G5740)), bore_offspring(_G5731, _G5739), otherGender(_G5732, _G5740), {is_unit(_G5732, _G5731)}),
  280. %         (neg(otherGender(_G5647, _G5648))<-neg(gender(_G5655, _G5648)), bore_offspring(_G5661, _G5655), gender(_G5661, _G5647), {is_unit(_G5648, _G5647)}),
  281. %         ==>((bore_offspring(_G5903, _G5897), gender(_G5903, _G5910), otherGender(_G5910, _G5898), {is_unit(_G5898, _G5897)}), gender(_G5897, _G5898))
  282. %       ].
  283.  
  284.  
  285.  
  286. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  287. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  288. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  289. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  290. % kif :-
  291. %       all(_G53110,
  292. %           all(_G53117,
  293. %               all(_G53111,
  294. %                   all(_G53120,
  295. %                       =>((bore_offspring(_G53110, _G53111), gender(_G53110, _G53117), otherGender(_G53117, _G53120)), gender(_G53111, _G53120)))))).
  296. % pkif :-
  297. %       all(_G6090,
  298. %           all(_G6097,
  299. %               all(_G6091,
  300. %                   all(_G6100,
  301. %                       =>(bore_offspring(_G6090, _G6091)& (gender(_G6090, _G6097)&otherGender(_G6097, _G6100)), gender(_G6091, _G6100)))))).
  302. % cnf :-
  303. %       gender(_G6091, _G6100)v (not(bore_offspring(_G6090, _G6091))v (not(gender(_G6090, _G6097))v not(otherGender(_G6097, _G6100)))).
  304. % horn :-
  305. %
  306. %       [ (not(bore_offspring(_G5711, _G5712)):-not(gender(_G5712, _G5720)), gender(_G5711, _G5726), otherGender(_G5726, _G5720)),
  307. %         (not(gender(_G5627, _G5628)):-not(gender(_G5635, _G5636)), bore_offspring(_G5627, _G5635), otherGender(_G5628, _G5636)),
  308. %         (not(otherGender(_G5543, _G5544)):-not(gender(_G5551, _G5544)), bore_offspring(_G5557, _G5551), gender(_G5557, _G5543)),
  309. %         (gender(_G5793, _G5794):-bore_offspring(_G5799, _G5793), gender(_G5799, _G5806), otherGender(_G5806, _G5794))
  310. %       ].
  311. % gripe_time(warn(2.2535838189999993>0.8), fi:mpred_fwd2(clif(=>((bore_offspring(_G3675, _G3810), gender(_G3675, _G3945), otherGender(_G3945, _G4080)), gender(_G3810, _G4080))),  (=>((bore_offspring(_G4215, _G4296), gender(_G4215, _G4377), otherGender(_G4377, _G4458)), gender(_G4296, _G4458)), asePFC:pt(umt, =>((bore_offspring(_G3675, _G3810), gender(_G3675, _G3945), otherGender(_G3945, _G4080)), gender(_G3810, _G4080)),  (is_kif_rule(=>((bore_offspring(_G3675, _G3810), gender(_G3675, _G3945), otherGender(_G3945, _G4080)), gender(_G3810, _G4080)))->rhs([clif(=>((bore_offspring(_G3675, _G3810), gender(_G3675, _G3945), otherGender(_G3945, _G4080)), gender(_G3810, _G4080)))])))))).
  312. % gripe_time(warn(2.259780684999999>0.8), fi:mpred_fwd2(=>((bore_offspring(X, Y), gender(X, G1), otherGender(G1, G2)), gender(Y, G2)),  (u, u))).
  313. % gripe_time(warn(2.2674394820000003>0.6), fi:ain_fast_timed(fi: =>((bore_offspring(X, Y), gender(X, G1), otherGender(G1, G2)), gender(Y, G2)),  (u, u))).
  314.  
  315.  
  316.  
  317.  
  318.  
  319.  
  320. <=>(gender(P, male), male(P)).
  321.  
  322.  
  323.  
  324.  
  325. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  326. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  327. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  328. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  329. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:42
  330. % kif :-
  331. %       all(_G57118, <=>(gender(_G57118, male), male(_G57118))).
  332. % pkif :-
  333. %       all(_G3122, <=>(gender(_G3122, male), male(_G3122))).
  334. % cnf :-
  335. %       (not(gender(_G3122, male))v male(_G3122))& (not(male(_G3122))v gender(_G3122, male)).
  336. % horn :-
  337. %
  338. %       [ (male(_G2897):-gender(_G2897, male)),
  339. %         (not(male(_G3010)):-not(gender(_G3010, male))),
  340. %         (not(gender(_G2932, male)):-not(male(_G2932))),
  341. %         (gender(_G2975, male):-male(_G2975))
  342. %       ].
  343. % pfc :-
  344. %
  345. %       [ ==>((gender(_G2897, male), {is_unit(_G2897)}), male(_G2897)),
  346. %         ==>((neg(gender(_G3010, male)), {is_unit(_G3010)}), neg(male(_G3010))),
  347. %         ==>((neg(male(_G2932)), {is_unit(_G2932)}), neg(gender(_G2932, male))),
  348. %         ==>((male(_G2975), {is_unit(_G2975)}), gender(_G2975, male))
  349. %       ].
  350.  
  351.  
  352.  
  353. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  354. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  355. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  356. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  357. % kif :-
  358. %       all(_G47952, <=>(gender(_G47952, male), male(_G47952))).
  359. % pkif :-
  360. %       all(_G47952, <=>(gender(_G47952, male), male(_G47952))).
  361. % cnf :-
  362. %       (not(gender(_G47952, male))v male(_G47952))& (not(male(_G47952))v gender(_G47952, male)).
  363. % horn :-
  364. %
  365. %       [ (male(_G2793):-gender(_G2793, male)),
  366. %         (not(male(_G2906)):-not(gender(_G2906, male))),
  367. %         (not(gender(_G2828, male)):-not(male(_G2828))),
  368. %         (gender(_G2871, male):-male(_G2871))
  369. %       ].
  370. % gripe_time(warn(0.851643622000001>0.8), fi:mpred_fwd2(clif(<=>(gender(_G1867, male), male(_G1867))),  (<=>(gender(_G2002, male), male(_G2002)), asePFC:pt(umt, <=>(gender(_G1867, male), male(_G1867)),  (is_kif_rule(<=>(gender(_G1867, male), male(_G1867)))->rhs([clif(<=>(gender(_G1867, male), male(_G1867)))])))))).
  371. % gripe_time(warn(0.8562360699999978>0.8), fi:mpred_fwd2(<=>(gender(P, male), male(P)),  (u, u))).
  372. % gripe_time(warn(0.8598750490000029>0.6), fi:ain_fast_timed(fi: <=>(gender(P, male), male(P)),  (u, u))).
  373.  
  374.  
  375.  
  376.  
  377.  
  378.  
  379. <=>(gender(P, female), female(P)).
  380.  
  381.  
  382.  
  383.  
  384. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  385. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  386. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  387. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  388. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:43
  389. % kif :-
  390. %       all(_G51096, <=>(gender(_G51096, female), female(_G51096))).
  391. % pkif :-
  392. %       all(_G51096, <=>(gender(_G51096, female), female(_G51096))).
  393. % cnf :-
  394. %       (not(gender(_G51096, female))v female(_G51096))& (not(female(_G51096))v gender(_G51096, female)).
  395. % horn :-
  396. %
  397. %       [ (female(_G2894):-gender(_G2894, female)),
  398. %         (not(female(_G3007)):-not(gender(_G3007, female))),
  399. %         (not(gender(_G2929, female)):-not(female(_G2929))),
  400. %         (gender(_G2972, female):-female(_G2972))
  401. %       ].
  402. % pfc :-
  403. %
  404. %       [ ==>((gender(_G2646, female), {is_unit(_G2646)}), female(_G2646)),
  405. %         ==>((neg(gender(_G2649, female)), {is_unit(_G2649)}), neg(female(_G2649))),
  406. %         ==>((neg(female(_G2647)), {is_unit(_G2647)}), neg(gender(_G2647, female))),
  407. %         ==>((female(_G2648), {is_unit(_G2648)}), gender(_G2648, female))
  408. %       ].
  409.  
  410.  
  411.  
  412. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  413. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  414. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  415. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  416. % kif :-
  417. %       all(_G33497, <=>(gender(_G33497, female), female(_G33497))).
  418. % pkif :-
  419. %       all(_G33497, <=>(gender(_G33497, female), female(_G33497))).
  420. % cnf :-
  421. %       (not(gender(_G33497, female))v female(_G33497))& (not(female(_G33497))v gender(_G33497, female)).
  422. % horn :-
  423. %
  424. %       [ (female(_G2790):-gender(_G2790, female)),
  425. %         (not(female(_G2903)):-not(gender(_G2903, female))),
  426. %         (not(gender(_G2825, female)):-not(female(_G2825))),
  427. %         (gender(_G2868, female):-female(_G2868))
  428. %       ].
  429. % gripe_time(warn(0.8679810769999996>0.8), fi:mpred_fwd2(clif(<=>(gender(_G1864, female), female(_G1864))),  (<=>(gender(_G1999, female), female(_G1999)), asePFC:pt(umt, <=>(gender(_G1864, female), female(_G1864)),  (is_kif_rule(<=>(gender(_G1864, female), female(_G1864)))->rhs([clif(<=>(gender(_G1864, female), female(_G1864)))])))))).
  430. % gripe_time(warn(0.8726047819999998>0.8), fi:mpred_fwd2(<=>(gender(P, female), female(P)),  (u, u))).
  431. % gripe_time(warn(0.8762771710000017>0.6), fi:ain_fast_timed(fi: <=>(gender(P, female), female(P)),  (u, u))).
  432.  
  433.  
  434.  
  435.  
  436.  
  437.  
  438. <=>(male(P), ~female(P)).
  439.  
  440.  
  441.  
  442.  
  443. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  444. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  445. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  446. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  447. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:45
  448. % kif :-
  449. %       all(_G34031, <=>(male(_G34031), ~female(_G34031))).
  450. % pkif :-
  451. %       all(_G34031, <=>(male(_G34031), not(female(_G34031)))).
  452. % cnf :-
  453. %       (not(male(_G34031))v not(female(_G34031)))& (female(_G34031)v male(_G34031)).
  454. % horn :-
  455. %
  456. %       [ (female(_G3050):-not(male(_G3050))),
  457. %         (male(_G3014):-not(female(_G3014))),
  458. %         (not(female(_G2944)):-male(_G2944)),
  459. %         (not(male(_G2980)):-female(_G2980))
  460. %       ].
  461. % pfc :-
  462. %
  463. %       [ ==>((neg(male(_G3050)), {is_unit(_G3050)}), female(_G3050)),
  464. %         ==>((neg(female(_G3014)), {is_unit(_G3014)}), male(_G3014)),
  465. %         ==>((male(_G2944), {is_unit(_G2944)}), neg(female(_G2944))),
  466. %         ==>((female(_G2980), {is_unit(_G2980)}), neg(male(_G2980)))
  467. %       ].
  468.  
  469.  
  470.  
  471. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  472. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  473. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  474. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  475. % kif :-
  476. %       all(_G23513, <=>(male(_G23513), ~female(_G23513))).
  477. % pkif :-
  478. %       all(_G23513, <=>(male(_G23513), not(female(_G23513)))).
  479. % cnf :-
  480. %       (not(male(_G23513))v not(female(_G23513)))& (female(_G23513)v male(_G23513)).
  481. % horn :-
  482. %
  483. %       [ (female(_G2946):-not(male(_G2946))),
  484. %         (male(_G2910):-not(female(_G2910))),
  485. %         (not(female(_G2840)):-male(_G2840)),
  486. %         (not(male(_G2876)):-female(_G2876))
  487. %       ].
  488. % gripe_time(warn(0.7573824219999992>0.6), fi:ain_fast_timed(fi: <=>(male(P), ~female(P)),  (u, u))).
  489.  
  490.  
  491.  
  492.  
  493.  
  494.  
  495. :- kif_add(<=>(parent(M, C)&female(M), mother(M, C))).
  496.  
  497.  
  498.  
  499.  
  500. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  501. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  502. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  503. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  504. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:51
  505. % kif :-
  506. %       all(_G48623,
  507. %           all(_G48624,
  508. %               <=>(parent(_G48623, _G48624)&female(_G48623), mother(_G48623, _G48624)))).
  509. % pkif :-
  510. %       all(_G48623,
  511. %           all(_G48624,
  512. %               <=>(parent(_G48623, _G48624)&female(_G48623), mother(_G48623, _G48624)))).
  513. % cnf :-
  514. %       (mother(_G48623, _G48624)v (not(parent(_G48623, _G48624))v not(female(_G48623))))& ((not(mother(_G48623, _G48624))v parent(_G48623, _G48624))& (not(mother(_G48623, _G48624))v female(_G48623))).
  515. % horn :-
  516. %
  517. %       [ (female(_G1764):-mother(_G1764, _G1770)),
  518. %         (not(female(_G1505)):-not(mother(_G1505, _G1513)), parent(_G1505, _G1513)),
  519. %         (not(mother(_G1718, _G1719)):-not(parent(_G1718, _G1719))),
  520. %         (not(mother(_G1799, _G1800)):-not(female(_G1799))),
  521. %         (not(parent(_G1568, _G1569)):-not(mother(_G1568, _G1569)), female(_G1568)),
  522. %         (mother(_G1629, _G1630):-parent(_G1629, _G1630), female(_G1629)),
  523. %         (parent(_G1680, _G1681):-mother(_G1680, _G1681))
  524. %       ].
  525. % pfc :-
  526. %
  527. %       [ ==>((mother(_G1224, _G1225), {is_unit(_G1224)}), female(_G1224)),
  528. %         (neg(female(_G1214))<-neg(mother(_G1214, _G1215)), parent(_G1214, _G1215), {is_unit(_G1214)}),
  529. %         ==>((neg(parent(_G1222, _G1223)), {is_unit(_G1223, _G1222)}), neg(mother(_G1222, _G1223))),
  530. %         (neg(mother(_G1226, _G1227))<-neg(female(_G1226)), {is_unit(_G1226)}),
  531. %         (neg(parent(_G1216, _G1217))<-neg(mother(_G1216, _G1217)), female(_G1216), {is_unit(_G1217, _G1216)}),
  532. %         ==>((parent(_G1218, _G1219), female(_G1218), {is_unit(_G1219, _G1218)}), mother(_G1218, _G1219)),
  533. %         ==>((mother(_G1220, _G1221), {is_unit(_G1221, _G1220)}), parent(_G1220, _G1221))
  534. %       ].
  535.  
  536.  
  537.  
  538. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  539. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  540. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  541. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  542. % kif :-
  543. %       all(_G97562,
  544. %           all(_G97563,
  545. %               <=>(parent(_G97562, _G97563)&female(_G97562), mother(_G97562, _G97563)))).
  546. % pkif :-
  547. %       all(_G97562,
  548. %           all(_G97563,
  549. %               <=>(parent(_G97562, _G97563)&female(_G97562), mother(_G97562, _G97563)))).
  550. % cnf :-
  551. %       (mother(_G97562, _G97563)v (not(parent(_G97562, _G97563))v not(female(_G97562))))& ((not(mother(_G97562, _G97563))v parent(_G97562, _G97563))& (not(mother(_G97562, _G97563))v female(_G97562))).
  552. % horn :-
  553. %
  554. %       [ (female(_G1660):-mother(_G1660, _G1666)),
  555. %         (not(female(_G1401)):-not(mother(_G1401, _G1409)), parent(_G1401, _G1409)),
  556. %         (not(mother(_G1614, _G1615)):-not(parent(_G1614, _G1615))),
  557. %         (not(mother(_G1695, _G1696)):-not(female(_G1695))),
  558. %         (not(parent(_G1464, _G1465)):-not(mother(_G1464, _G1465)), female(_G1464)),
  559. %         (mother(_G1525, _G1526):-parent(_G1525, _G1526), female(_G1525)),
  560. %         (parent(_G1576, _G1577):-mother(_G1576, _G1577))
  561. %       ].
  562. % gripe_time(warn(2.0367443670000007>0.8), fi:mpred_fwd2(clif(<=>(parent(M, C)&female(M), mother(M, C))),  (u, u))).
  563. % gripe_time(warn(2.042121870999999>0.6), fi:ain_fast_timed(fi:clif(<=>(parent(M, C)&female(M), mother(M, C))),  (u, u))).
  564.  
  565.  
  566.  
  567.  
  568.  
  569.  
  570. :- must_is_entailed(<=>(parent(M, C)&female(M), mother(M, C))).
  571.  
  572.  
  573.  
  574.  
  575. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  576. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  577. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  578. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  579. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:56
  580. % kif :-
  581. %       all(M, all(C, <=>(parent(M, C)&female(M), mother(M, C)))).
  582. % pkif :-
  583. %       all(M, all(C, <=>(parent(M, C)&female(M), mother(M, C)))).
  584. % cnf :-
  585. %       (mother(M, C)v (not(parent(M, C))v not(female(M))))& ((not(mother(M, C))v parent(M, C))& (not(mother(M, C))v female(M))).
  586. % horn :-
  587. %
  588. %       [ (female(M):-mother(M, C)),
  589. %         (not(female(M)):-not(mother(M, C)), parent(M, C)),
  590. %         (not(mother(M, C)):-not(female(M))),
  591. %         (not(mother(M, C)):-not(parent(M, C))),
  592. %         (not(parent(M, C)):-not(mother(M, C)), female(M)),
  593. %         (mother(M, C):-parent(M, C), female(M)),
  594. %         (parent(M, C):-mother(M, C))
  595. %       ].
  596. % pfc :-
  597. %
  598. %       [ ==>((mother(M, C), {is_unit(M)}), female(M)),
  599. %         (neg(female(M))<-neg(mother(M, C)), parent(M, C), {is_unit(M)}),
  600. %         (neg(mother(M, C))<-neg(female(M)), {is_unit(M)}),
  601. %         ==>((neg(parent(M, C)), {is_unit(C, M)}), neg(mother(M, C))),
  602. %         (neg(parent(M, C))<-neg(mother(M, C)), female(M), {is_unit(C, M)}),
  603. %         ==>((parent(M, C), female(M), {is_unit(C, M)}), mother(M, C)),
  604. %         ==>((mother(M, C), {is_unit(C, M)}), parent(M, C))
  605. %       ].
  606.  
  607.  
  608.  
  609.  
  610.  
  611.  
  612. :- must_is_entailed(=>(parent(M, C)&female(M), mother(M, C))).
  613.  
  614.  
  615.  
  616.  
  617. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  618. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  619. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  620. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  621. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:59
  622. % kif :-
  623. %       all(M, all(C, =>(parent(M, C)&female(M), mother(M, C)))).
  624. % pkif :-
  625. %       all(M, all(C, =>(parent(M, C)&female(M), mother(M, C)))).
  626. % cnf :-
  627. %       mother(M, C)v (not(parent(M, C))v not(female(M))).
  628. % horn :-
  629. %
  630. %       [ (not(female(M)):-not(mother(M, C)), parent(M, C)),
  631. %         (not(parent(M, C)):-not(mother(M, C)), female(M)),
  632. %         (mother(M, C):-parent(M, C), female(M))
  633. %       ].
  634. % pfc :-
  635. %
  636. %       [ (neg(female(M))<-neg(mother(M, C)), parent(M, C), {is_unit(M)}),
  637. %         (neg(parent(M, C))<-neg(mother(M, C)), female(M), {is_unit(C, M)}),
  638. %         ==>((parent(M, C), female(M), {is_unit(C, M)}), mother(M, C))
  639. %       ].
  640.  
  641.  
  642.  
  643.  
  644.  
  645.  
  646.  
  647. :- must_is_entailed(=>(mother(M, C), parent(M, C)&female(M))).
  648.  
  649.  
  650.  
  651.  
  652. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  653. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  654. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  655. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  656. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:65
  657. % kif :-
  658. %       all(M, all(C, =>(mother(M, C), parent(M, C)&female(M)))).
  659. % pkif :-
  660. %       all(M, all(C, =>(mother(M, C), parent(M, C)&female(M)))).
  661. % cnf :-
  662. %       (not(mother(M, C))v parent(M, C))& (not(mother(M, C))v female(M)).
  663. % horn :-
  664. %
  665. %       [ (female(M):-mother(M, C)),
  666. %         (not(mother(M, C)):-not(female(M))),
  667. %         (not(mother(M, C)):-not(parent(M, C))),
  668. %         (parent(M, C):-mother(M, C))
  669. %       ].
  670. % pfc :-
  671. %
  672. %       [ ==>((mother(M, C), {is_unit(M)}), female(M)),
  673. %         (neg(mother(M, C))<-neg(female(M)), {is_unit(M)}),
  674. %         ==>((neg(parent(M, C)), {is_unit(C, M)}), neg(mother(M, C))),
  675. %         ==>((mother(M, C), {is_unit(C, M)}), parent(M, C))
  676. %       ].
  677.  
  678.  
  679.  
  680.  
  681.  
  682.  
  683.  
  684. :- must_is_entailed((not(mother(M, C)):-not(parent(M, C)))).
  685.  
  686.  
  687.  
  688.  
  689.  
  690.  
  691.  
  692. :- must_is_entailed((not(mother(M, _Anyone)):-not(female(M)))).
  693.  
  694.  
  695.  
  696.  
  697.  
  698.  
  699.  
  700. :- must_is_entailed((parent(M, C):-mother(M, C))).
  701.  
  702.  
  703.  
  704.  
  705.  
  706.  
  707.  
  708. :- must_is_entailed((female(M):-mother(M, _))).
  709.  
  710.  
  711.  
  712.  
  713.  
  714.  
  715.  
  716. =>((parent(GRAND, PARENT), parent(PARENT, CHILD)), grandparent(GRAND, CHILD)).
  717.  
  718.  
  719.  
  720.  
  721. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  722. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  723. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  724. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  725. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:81
  726. % kif :-
  727. %       all(_G79843,
  728. %           all(_G79842,
  729. %               all(_G79846,
  730. %                   =>((parent(_G79842, _G79843), parent(_G79843, _G79846)), grandparent(_G79842, _G79846))))).
  731. % pkif :-
  732. %       all(_G79843,
  733. %           all(_G79842,
  734. %               all(_G79846,
  735. %                   =>(parent(_G79842, _G79843)&parent(_G79843, _G79846), grandparent(_G79842, _G79846))))).
  736. % cnf :-
  737. %       grandparent(_G79842, _G79846)v (not(parent(_G79842, _G79843))v not(parent(_G79843, _G79846))).
  738. % horn :-
  739. %
  740. %       [ (not(parent(_G4606, _G4607)):-not(grandparent(_G4614, _G4607)), parent(_G4614, _G4606)),
  741. %         (not(parent(_G4672, _G4673)):-not(grandparent(_G4672, _G4681)), parent(_G4673, _G4681)),
  742. %         (grandparent(_G4736, _G4737):-parent(_G4736, _G4743), parent(_G4743, _G4737))
  743. %       ].
  744. % pfc :-
  745. %
  746. %       [ (neg(parent(_G4308, _G4309))<-neg(grandparent(_G4310, _G4309)), {avoidHeadLoop(parent(_G4310, _G4308), parent(_G4308, _G4309))}, parent(_G4310, _G4308), {is_unit(_G4309, _G4308)}),
  747. %         (neg(parent(_G4311, _G4312))<-neg(grandparent(_G4311, _G4313)), {avoidHeadLoop(parent(_G4312, _G4313), parent(_G4311, _G4312))}, parent(_G4312, _G4313), {is_unit(_G4312, _G4311)}),
  748. %         ==>((parent(_G4314, _G4316), parent(_G4316, _G4315), {is_unit(_G4315, _G4314)}), grandparent(_G4314, _G4315))
  749. %       ].
  750.  
  751.  
  752.  
  753. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  754. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  755. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  756. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  757. % kif :-
  758. %       all(_G99100,
  759. %           all(_G99099,
  760. %               all(_G99103,
  761. %                   =>((parent(_G99099, _G99100), parent(_G99100, _G99103)), grandparent(_G99099, _G99103))))).
  762. % pkif :-
  763. %       all(_G99100,
  764. %           all(_G99099,
  765. %               all(_G99103,
  766. %                   =>(parent(_G99099, _G99100)&parent(_G99100, _G99103), grandparent(_G99099, _G99103))))).
  767. % cnf :-
  768. %       grandparent(_G99099, _G99103)v (not(parent(_G99099, _G99100))v not(parent(_G99100, _G99103))).
  769. % horn :-
  770. %
  771. %       [ (not(parent(_G4502, _G4503)):-not(grandparent(_G4510, _G4503)), parent(_G4510, _G4502)),
  772. %         (not(parent(_G4568, _G4569)):-not(grandparent(_G4568, _G4577)), parent(_G4569, _G4577)),
  773. %         (grandparent(_G4632, _G4633):-parent(_G4632, _G4639), parent(_G4639, _G4633))
  774. %       ].
  775. % gripe_time(warn(1.2459439860000003>0.8), fi:mpred_fwd2(clif(=>((parent(_G2980, _G3115), parent(_G3115, _G3250)), grandparent(_G2980, _G3250))),  (=>((parent(_G3385, _G3466), parent(_G3466, _G3547)), grandparent(_G3385, _G3547)), asePFC:pt(umt, =>((parent(_G2980, _G3115), parent(_G3115, _G3250)), grandparent(_G2980, _G3250)),  (is_kif_rule(=>((parent(_G2980, _G3115), parent(_G3115, _G3250)), grandparent(_G2980, _G3250)))->rhs([clif(=>((parent(_G2980, _G3115), parent(_G3115, _G3250)), grandparent(_G2980, _G3250)))])))))).
  776. % gripe_time(warn(1.2518035379999972>0.8), fi:mpred_fwd2(=>((parent(GRAND, PARENT), parent(PARENT, CHILD)), grandparent(GRAND, CHILD)),  (u, u))).
  777. % gripe_time(warn(1.2586525019999968>0.6), fi:ain_fast_timed(fi: =>((parent(GRAND, PARENT), parent(PARENT, CHILD)), grandparent(GRAND, CHILD)),  (u, u))).
  778.  
  779.  
  780.  
  781.  
  782.  
  783.  
  784. <=>((grandparent(X, Y), male(X)), grandfather(X, Y)).
  785.  
  786.  
  787.  
  788.  
  789. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  790. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  791. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  792. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  793. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:83
  794. % kif :-
  795. %       all(_G35537,
  796. %           all(_G35538,
  797. %               <=>((grandparent(_G35537, _G35538), male(_G35537)), grandfather(_G35537, _G35538)))).
  798. % pkif :-
  799. %       all(_G35537,
  800. %           all(_G35538,
  801. %               <=>(grandparent(_G35537, _G35538)&male(_G35537), grandfather(_G35537, _G35538)))).
  802. % cnf :-
  803. %       (grandfather(_G35537, _G35538)v (not(grandparent(_G35537, _G35538))v not(male(_G35537))))& ((not(grandfather(_G35537, _G35538))v grandparent(_G35537, _G35538))& (not(grandfather(_G35537, _G35538))v male(_G35537))).
  804. % horn :-
  805. %
  806. %       [ (male(_G4243):-grandfather(_G4243, _G4249)),
  807. %         (not(male(_G3984)):-not(grandfather(_G3984, _G3992)), grandparent(_G3984, _G3992)),
  808. %         (not(grandfather(_G4197, _G4198)):-not(grandparent(_G4197, _G4198))),
  809. %         (not(grandfather(_G4278, _G4279)):-not(male(_G4278))),
  810. %         (not(grandparent(_G4047, _G4048)):-not(grandfather(_G4047, _G4048)), male(_G4047)),
  811. %         (grandfather(_G4108, _G4109):-grandparent(_G4108, _G4109), male(_G4108)),
  812. %         (grandparent(_G4159, _G4160):-grandfather(_G4159, _G4160))
  813. %       ].
  814. % pfc :-
  815. %
  816. %       [ ==>((grandfather(_G3703, _G3704), {is_unit(_G3703)}), male(_G3703)),
  817. %         (neg(male(_G3693))<-neg(grandfather(_G3693, _G3694)), grandparent(_G3693, _G3694), {is_unit(_G3693)}),
  818. %         ==>((neg(grandparent(_G3701, _G3702)), {is_unit(_G3702, _G3701)}), neg(grandfather(_G3701, _G3702))),
  819. %         (neg(grandfather(_G3705, _G3706))<-neg(male(_G3705)), {is_unit(_G3705)}),
  820. %         (neg(grandparent(_G3695, _G3696))<-neg(grandfather(_G3695, _G3696)), male(_G3695), {is_unit(_G3696, _G3695)}),
  821. %         ==>((grandparent(_G3697, _G3698), male(_G3697), {is_unit(_G3698, _G3697)}), grandfather(_G3697, _G3698)),
  822. %         ==>((grandfather(_G3699, _G3700), {is_unit(_G3700, _G3699)}), grandparent(_G3699, _G3700))
  823. %       ].
  824.  
  825.  
  826.  
  827. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  828. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  829. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  830. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  831. % kif :-
  832. %       all(_G51969,
  833. %           all(_G51970,
  834. %               <=>((grandparent(_G51969, _G51970), male(_G51969)), grandfather(_G51969, _G51970)))).
  835. % pkif :-
  836. %       all(_G51969,
  837. %           all(_G51970,
  838. %               <=>(grandparent(_G51969, _G51970)&male(_G51969), grandfather(_G51969, _G51970)))).
  839. % cnf :-
  840. %       (grandfather(_G51969, _G51970)v (not(grandparent(_G51969, _G51970))v not(male(_G51969))))& ((not(grandfather(_G51969, _G51970))v grandparent(_G51969, _G51970))& (not(grandfather(_G51969, _G51970))v male(_G51969))).
  841. % horn :-
  842. %
  843. %       [ (male(_G4139):-grandfather(_G4139, _G4145)),
  844. %         (not(male(_G3880)):-not(grandfather(_G3880, _G3888)), grandparent(_G3880, _G3888)),
  845. %         (not(grandfather(_G4093, _G4094)):-not(grandparent(_G4093, _G4094))),
  846. %         (not(grandfather(_G4174, _G4175)):-not(male(_G4174))),
  847. %         (not(grandparent(_G3943, _G3944)):-not(grandfather(_G3943, _G3944)), male(_G3943)),
  848. %         (grandfather(_G4004, _G4005):-grandparent(_G4004, _G4005), male(_G4004)),
  849. %         (grandparent(_G4055, _G4056):-grandfather(_G4055, _G4056))
  850. %       ].
  851. % gripe_time(warn(1.9924950969999955>0.8), fi:mpred_fwd2(clif(<=>((grandparent(_G2558, _G2729), male(_G2558)), grandfather(_G2558, _G2729))),  (<=>((grandparent(_G2864, _G2954), male(_G2864)), grandfather(_G2864, _G2954)), asePFC:pt(umt, <=>((grandparent(_G2558, _G2729), male(_G2558)), grandfather(_G2558, _G2729)),  (is_kif_rule(<=>((grandparent(_G2558, _G2729), male(_G2558)), grandfather(_G2558, _G2729)))->rhs([clif(<=>((grandparent(_G2558, _G2729), male(_G2558)), grandfather(_G2558, _G2729)))])))))).
  852. % gripe_time(warn(1.9991924909999952>0.8), fi:mpred_fwd2(<=>((grandparent(X, Y), male(X)), grandfather(X, Y)),  (u, u))).
  853. % gripe_time(warn(2.0044952319999965>0.6), fi:ain_fast_timed(fi: <=>((grandparent(X, Y), male(X)), grandfather(X, Y)),  (u, u))).
  854.  
  855.  
  856.  
  857.  
  858.  
  859.  
  860. <=>((grandparent(X, Y), female(X)), grandmother(X, Y)).
  861.  
  862.  
  863.  
  864.  
  865. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  866. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  867. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  868. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  869. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:84
  870. % kif :-
  871. %       all(_G34799,
  872. %           all(_G34800,
  873. %               <=>((grandparent(_G34799, _G34800), female(_G34799)), grandmother(_G34799, _G34800)))).
  874. % pkif :-
  875. %       all(_G34799,
  876. %           all(_G34800,
  877. %               <=>(grandparent(_G34799, _G34800)&female(_G34799), grandmother(_G34799, _G34800)))).
  878. % cnf :-
  879. %       (grandmother(_G34799, _G34800)v (not(grandparent(_G34799, _G34800))v not(female(_G34799))))& ((not(grandmother(_G34799, _G34800))v grandparent(_G34799, _G34800))& (not(grandmother(_G34799, _G34800))v female(_G34799))).
  880. % horn :-
  881. %
  882. %       [ (female(_G4240):-grandmother(_G4240, _G4246)),
  883. %         (not(female(_G3981)):-not(grandmother(_G3981, _G3989)), grandparent(_G3981, _G3989)),
  884. %         (not(grandmother(_G4194, _G4195)):-not(grandparent(_G4194, _G4195))),
  885. %         (not(grandmother(_G4275, _G4276)):-not(female(_G4275))),
  886. %         (not(grandparent(_G4044, _G4045)):-not(grandmother(_G4044, _G4045)), female(_G4044)),
  887. %         (grandmother(_G4105, _G4106):-grandparent(_G4105, _G4106), female(_G4105)),
  888. %         (grandparent(_G4156, _G4157):-grandmother(_G4156, _G4157))
  889. %       ].
  890. % pfc :-
  891. %
  892. %       [ ==>((grandmother(_G3700, _G3701), {is_unit(_G3700)}), female(_G3700)),
  893. %         (neg(female(_G3690))<-neg(grandmother(_G3690, _G3691)), grandparent(_G3690, _G3691), {is_unit(_G3690)}),
  894. %         ==>((neg(grandparent(_G3698, _G3699)), {is_unit(_G3699, _G3698)}), neg(grandmother(_G3698, _G3699))),
  895. %         (neg(grandmother(_G3702, _G3703))<-neg(female(_G3702)), {is_unit(_G3702)}),
  896. %         (neg(grandparent(_G3692, _G3693))<-neg(grandmother(_G3692, _G3693)), female(_G3692), {is_unit(_G3693, _G3692)}),
  897. %         ==>((grandparent(_G3694, _G3695), female(_G3694), {is_unit(_G3695, _G3694)}), grandmother(_G3694, _G3695)),
  898. %         ==>((grandmother(_G3696, _G3697), {is_unit(_G3697, _G3696)}), grandparent(_G3696, _G3697))
  899. %       ].
  900.  
  901.  
  902.  
  903. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  904. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  905. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  906. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  907. % kif :-
  908. %       all(_G115423,
  909. %           all(_G115424,
  910. %               <=>((grandparent(_G115423, _G115424), female(_G115423)), grandmother(_G115423, _G115424)))).
  911. % pkif :-
  912. %       all(_G115423,
  913. %           all(_G115424,
  914. %               <=>(grandparent(_G115423, _G115424)&female(_G115423), grandmother(_G115423, _G115424)))).
  915. % cnf :-
  916. %       (grandmother(_G4811, _G4812)v (not(grandparent(_G4811, _G4812))v not(female(_G4811))))& ((not(grandmother(_G4811, _G4812))v grandparent(_G4811, _G4812))& (not(grandmother(_G4811, _G4812))v female(_G4811))).
  917. % horn :-
  918. %
  919. %       [ (female(_G4136):-grandmother(_G4136, _G4142)),
  920. %         (not(female(_G3877)):-not(grandmother(_G3877, _G3885)), grandparent(_G3877, _G3885)),
  921. %         (not(grandmother(_G4090, _G4091)):-not(grandparent(_G4090, _G4091))),
  922. %         (not(grandmother(_G4171, _G4172)):-not(female(_G4171))),
  923. %         (not(grandparent(_G3940, _G3941)):-not(grandmother(_G3940, _G3941)), female(_G3940)),
  924. %         (grandmother(_G4001, _G4002):-grandparent(_G4001, _G4002), female(_G4001)),
  925. %         (grandparent(_G4052, _G4053):-grandmother(_G4052, _G4053))
  926. %       ].
  927. % gripe_time(warn(1.960041400999998>0.8), fi:mpred_fwd2(clif(<=>((grandparent(_G2555, _G2726), female(_G2555)), grandmother(_G2555, _G2726))),  (<=>((grandparent(_G2861, _G2951), female(_G2861)), grandmother(_G2861, _G2951)), asePFC:pt(umt, <=>((grandparent(_G2555, _G2726), female(_G2555)), grandmother(_G2555, _G2726)),  (is_kif_rule(<=>((grandparent(_G2555, _G2726), female(_G2555)), grandmother(_G2555, _G2726)))->rhs([clif(<=>((grandparent(_G2555, _G2726), female(_G2555)), grandmother(_G2555, _G2726)))])))))).
  928. % gripe_time(warn(1.9666201369999996>0.8), fi:mpred_fwd2(<=>((grandparent(X, Y), female(X)), grandmother(X, Y)),  (u, u))).
  929. % gripe_time(warn(1.9718425770000039>0.6), fi:ain_fast_timed(fi: <=>((grandparent(X, Y), female(X)), grandmother(X, Y)),  (u, u))).
  930.  
  931.  
  932.  
  933.  
  934.  
  935.  
  936. =>((mother(Ma, Kid), parent(Kid, GrandKid)), grandmother(Ma, GrandKid)).
  937.  
  938.  
  939.  
  940.  
  941. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  942. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  943. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  944. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  945. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:85
  946. % kif :-
  947. %       all(_G36873,
  948. %           all(_G36872,
  949. %               all(_G36876,
  950. %                   =>((mother(_G36872, _G36873), parent(_G36873, _G36876)), grandmother(_G36872, _G36876))))).
  951. % pkif :-
  952. %       all(_G36873,
  953. %           all(_G36872,
  954. %               all(_G36876,
  955. %                   =>(mother(_G36872, _G36873)&parent(_G36873, _G36876), grandmother(_G36872, _G36876))))).
  956. % cnf :-
  957. %       grandmother(_G36872, _G36876)v (not(mother(_G36872, _G36873))v not(parent(_G36873, _G36876))).
  958. % horn :-
  959. %
  960. %       [ (not(mother(_G4666, _G4667)):-not(grandmother(_G4666, _G4675)), parent(_G4667, _G4675)),
  961. %         (not(parent(_G4600, _G4601)):-not(grandmother(_G4608, _G4601)), mother(_G4608, _G4600)),
  962. %         (grandmother(_G4730, _G4731):-mother(_G4730, _G4737), parent(_G4737, _G4731))
  963. %       ].
  964. % pfc :-
  965. %
  966. %       [ (neg(mother(_G4666, _G4667))<-neg(grandmother(_G4666, _G4675)), parent(_G4667, _G4675), {is_unit(_G4667, _G4666)}),
  967. %         (neg(parent(_G4600, _G4601))<-neg(grandmother(_G4608, _G4601)), mother(_G4608, _G4600), {is_unit(_G4601, _G4600)}),
  968. %         ==>((mother(_G4730, _G4737), parent(_G4737, _G4731), {is_unit(_G4731, _G4730)}), grandmother(_G4730, _G4731))
  969. %       ].
  970.  
  971.  
  972.  
  973. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  974. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  975. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  976. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  977. % kif :-
  978. %       all(_G102426,
  979. %           all(_G102425,
  980. %               all(_G102429,
  981. %                   =>((mother(_G102425, _G102426), parent(_G102426, _G102429)), grandmother(_G102425, _G102429))))).
  982. % pkif :-
  983. %       all(_G102426,
  984. %           all(_G102425,
  985. %               all(_G102429,
  986. %                   =>(mother(_G102425, _G102426)&parent(_G102426, _G102429), grandmother(_G102425, _G102429))))).
  987. % cnf :-
  988. %       grandmother(_G102425, _G102429)v (not(mother(_G102425, _G102426))v not(parent(_G102426, _G102429))).
  989. % horn :-
  990. %
  991. %       [ (not(mother(_G4562, _G4563)):-not(grandmother(_G4562, _G4571)), parent(_G4563, _G4571)),
  992. %         (not(parent(_G4496, _G4497)):-not(grandmother(_G4504, _G4497)), mother(_G4504, _G4496)),
  993. %         (grandmother(_G4626, _G4627):-mother(_G4626, _G4633), parent(_G4633, _G4627))
  994. %       ].
  995. % gripe_time(warn(1.2010052230000028>0.8), fi:mpred_fwd2(clif(=>((mother(_G2974, _G3109), parent(_G3109, _G3244)), grandmother(_G2974, _G3244))),  (=>((mother(_G3379, _G3460), parent(_G3460, _G3541)), grandmother(_G3379, _G3541)), asePFC:pt(umt, =>((mother(_G2974, _G3109), parent(_G3109, _G3244)), grandmother(_G2974, _G3244)),  (is_kif_rule(=>((mother(_G2974, _G3109), parent(_G3109, _G3244)), grandmother(_G2974, _G3244)))->rhs([clif(=>((mother(_G2974, _G3109), parent(_G3109, _G3244)), grandmother(_G2974, _G3244)))])))))).
  996. % gripe_time(warn(1.2067897649999964>0.8), fi:mpred_fwd2(=>((mother(Ma, Kid), parent(Kid, GrandKid)), grandmother(Ma, GrandKid)),  (u, u))).
  997. % gripe_time(warn(1.212462801000001>0.6), fi:ain_fast_timed(fi: =>((mother(Ma, Kid), parent(Kid, GrandKid)), grandmother(Ma, GrandKid)),  (u, u))).
  998.  
  999.  
  1000.  
  1001.  
  1002.  
  1003.  
  1004. <=>((grandparent(X, Y), female(X)), grandmother(X, Y)).
  1005.  
  1006.  
  1007.  
  1008.  
  1009.  
  1010.  
  1011.  
  1012. <=>((parent(X, Y), male(X)), father(X, Y)).
  1013.  
  1014.  
  1015.  
  1016.  
  1017. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1018. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1019. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1020. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1021. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:90
  1022. % kif :-
  1023. %       all(_G57945,
  1024. %           all(_G57946,
  1025. %               <=>((parent(_G57945, _G57946), male(_G57945)), father(_G57945, _G57946)))).
  1026. % pkif :-
  1027. %       all(_G57945,
  1028. %           all(_G57946,
  1029. %               <=>(parent(_G57945, _G57946)&male(_G57945), father(_G57945, _G57946)))).
  1030. % cnf :-
  1031. %       (father(_G57945, _G57946)v (not(parent(_G57945, _G57946))v not(male(_G57945))))& ((not(father(_G57945, _G57946))v parent(_G57945, _G57946))& (not(father(_G57945, _G57946))v male(_G57945))).
  1032. % horn :-
  1033. %
  1034. %       [ (male(_G4243):-father(_G4243, _G4249)),
  1035. %         (not(male(_G3984)):-not(father(_G3984, _G3992)), parent(_G3984, _G3992)),
  1036. %         (not(father(_G4197, _G4198)):-not(parent(_G4197, _G4198))),
  1037. %         (not(father(_G4278, _G4279)):-not(male(_G4278))),
  1038. %         (not(parent(_G4047, _G4048)):-not(father(_G4047, _G4048)), male(_G4047)),
  1039. %         (father(_G4108, _G4109):-parent(_G4108, _G4109), male(_G4108)),
  1040. %         (parent(_G4159, _G4160):-father(_G4159, _G4160))
  1041. %       ].
  1042. % pfc :-
  1043. %
  1044. %       [ ==>((father(_G4243, _G4249), {is_unit(_G4243)}), male(_G4243)),
  1045. %         (neg(male(_G3984))<-neg(father(_G3984, _G3992)), parent(_G3984, _G3992), {is_unit(_G3984)}),
  1046. %         ==>((neg(parent(_G4197, _G4198)), {is_unit(_G4198, _G4197)}), neg(father(_G4197, _G4198))),
  1047. %         (neg(father(_G4278, _G4279))<-neg(male(_G4278)), {is_unit(_G4278)}),
  1048. %         (neg(parent(_G4047, _G4048))<-neg(father(_G4047, _G4048)), male(_G4047), {is_unit(_G4048, _G4047)}),
  1049. %         ==>((parent(_G4108, _G4109), male(_G4108), {is_unit(_G4109, _G4108)}), father(_G4108, _G4109)),
  1050. %         ==>((father(_G4159, _G4160), {is_unit(_G4160, _G4159)}), parent(_G4159, _G4160))
  1051. %       ].
  1052.  
  1053.  
  1054.  
  1055. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1056. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1057. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1058. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1059. % kif :-
  1060. %       all(_G59372,
  1061. %           all(_G59373,
  1062. %               <=>((parent(_G59372, _G59373), male(_G59372)), father(_G59372, _G59373)))).
  1063. % pkif :-
  1064. %       all(_G59372,
  1065. %           all(_G59373,
  1066. %               <=>(parent(_G59372, _G59373)&male(_G59372), father(_G59372, _G59373)))).
  1067. % cnf :-
  1068. %       (father(_G59372, _G59373)v (not(parent(_G59372, _G59373))v not(male(_G59372))))& ((not(father(_G59372, _G59373))v parent(_G59372, _G59373))& (not(father(_G59372, _G59373))v male(_G59372))).
  1069. % horn :-
  1070. %
  1071. %       [ (male(_G4139):-father(_G4139, _G4145)),
  1072. %         (not(male(_G3880)):-not(father(_G3880, _G3888)), parent(_G3880, _G3888)),
  1073. %         (not(father(_G4093, _G4094)):-not(parent(_G4093, _G4094))),
  1074. %         (not(father(_G4174, _G4175)):-not(male(_G4174))),
  1075. %         (not(parent(_G3943, _G3944)):-not(father(_G3943, _G3944)), male(_G3943)),
  1076. %         (father(_G4004, _G4005):-parent(_G4004, _G4005), male(_G4004)),
  1077. %         (parent(_G4055, _G4056):-father(_G4055, _G4056))
  1078. %       ].
  1079. % gripe_time(warn(1.962432094999997>0.8), fi:mpred_fwd2(clif(<=>((parent(_G2558, _G2729), male(_G2558)), father(_G2558, _G2729))),  (<=>((parent(_G2864, _G2954), male(_G2864)), father(_G2864, _G2954)), asePFC:pt(umt, <=>((parent(_G2558, _G2729), male(_G2558)), father(_G2558, _G2729)),  (is_kif_rule(<=>((parent(_G2558, _G2729), male(_G2558)), father(_G2558, _G2729)))->rhs([clif(<=>((parent(_G2558, _G2729), male(_G2558)), father(_G2558, _G2729)))])))))).
  1080. % gripe_time(warn(1.9704430300000055>0.8), fi:mpred_fwd2(<=>((parent(X, Y), male(X)), father(X, Y)),  (u, u))).
  1081. % gripe_time(warn(1.9758944569999954>0.6), fi:ain_fast_timed(fi: <=>((parent(X, Y), male(X)), father(X, Y)),  (u, u))).
  1082.  
  1083.  
  1084.  
  1085.  
  1086.  
  1087.  
  1088. =>((parent(Ma, X), parent(Ma, Y), different(X, Y)), siblings(X, Y)).
  1089.  
  1090.  
  1091.  
  1092.  
  1093. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1094. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1095. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1096. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1097. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:91
  1098. % kif :-
  1099. %       all(_G39523,
  1100. %           all(_G39524,
  1101. %               all(_G39530,
  1102. %                   =>((parent(_G39523, _G39524), parent(_G39523, _G39530), different(_G39524, _G39530)), siblings(_G39524, _G39530))))).
  1103. % pkif :-
  1104. %       all(_G39523,
  1105. %           all(_G39524,
  1106. %               all(_G39530,
  1107. %                   =>(parent(_G39523, _G39524)& (parent(_G39523, _G39530)&different(_G39524, _G39530)), siblings(_G39524, _G39530))))).
  1108. % cnf :-
  1109. %       siblings(_G39524, _G39530)v (not(parent(_G39523, _G39524))v (not(parent(_G39523, _G39530))v not(different(_G39524, _G39530)))).
  1110. % horn :-
  1111. %
  1112. %       [ (not(different(_G5141, _G5142)):-not(siblings(_G5141, _G5142)), parent(_G5155, _G5141), parent(_G5155, _G5142)),
  1113. %         (not(parent(_G5225, _G5226)):-not(siblings(_G5233, _G5226)), parent(_G5225, _G5233), different(_G5233, _G5226)),
  1114. %         (not(parent(_G5309, _G5310)):-not(siblings(_G5310, _G5318)), parent(_G5309, _G5318), different(_G5310, _G5318)),
  1115. %         (siblings(_G5391, _G5392):-parent(_G5397, _G5391), parent(_G5397, _G5392), different(_G5391, _G5392))
  1116. %       ].
  1117. % pfc :-
  1118. %
  1119. %       [ (not_different(_G4827, _G4828)<-neg(siblings(_G4827, _G4828)), parent(_G4829, _G4827), parent(_G4829, _G4828), {is_unit(_G4828, _G4827)}),
  1120. %         (neg(parent(_G4830, _G4831))<-neg(siblings(_G4832, _G4831)), {avoidHeadLoop(parent(_G4830, _G4832), parent(_G4830, _G4831))}, parent(_G4830, _G4832), {dif:dif(_G4832, _G4831)}, {is_unit(_G4831, _G4830)}),
  1121. %         (neg(parent(_G4836, _G4837))<-neg(siblings(_G4837, _G4838)), {avoidHeadLoop(parent(_G4836, _G4838), parent(_G4836, _G4837))}, parent(_G4836, _G4838), {dif:dif(_G4837, _G4838)}, {is_unit(_G4837, _G4836)}),
  1122. %         ==>((parent(_G4844, _G4842), parent(_G4844, _G4843), {dif:dif(_G4842, _G4843)}, {is_unit(_G4843, _G4842)}), siblings(_G4842, _G4843))
  1123. %       ].
  1124.  
  1125.  
  1126.  
  1127. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1128. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1129. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1130. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1131. % kif :-
  1132. %       all(_G75242,
  1133. %           all(_G75243,
  1134. %               all(_G75249,
  1135. %                   =>((parent(_G75242, _G75243), parent(_G75242, _G75249), different(_G75243, _G75249)), siblings(_G75243, _G75249))))).
  1136. % pkif :-
  1137. %       all(_G75242,
  1138. %           all(_G75243,
  1139. %               all(_G75249,
  1140. %                   =>(parent(_G75242, _G75243)& (parent(_G75242, _G75249)&different(_G75243, _G75249)), siblings(_G75243, _G75249))))).
  1141. % cnf :-
  1142. %       siblings(_G75243, _G75249)v (not(parent(_G75242, _G75243))v (not(parent(_G75242, _G75249))v not(different(_G75243, _G75249)))).
  1143. % horn :-
  1144. %
  1145. %       [ (not(different(_G5037, _G5038)):-not(siblings(_G5037, _G5038)), parent(_G5051, _G5037), parent(_G5051, _G5038)),
  1146. %         (not(parent(_G5121, _G5122)):-not(siblings(_G5129, _G5122)), parent(_G5121, _G5129), different(_G5129, _G5122)),
  1147. %         (not(parent(_G5205, _G5206)):-not(siblings(_G5206, _G5214)), parent(_G5205, _G5214), different(_G5206, _G5214)),
  1148. %         (siblings(_G5287, _G5288):-parent(_G5293, _G5287), parent(_G5293, _G5288), different(_G5287, _G5288))
  1149. %       ].
  1150. % gripe_time(warn(1.9820310540000037>0.8), fi:mpred_fwd2(clif(=>((parent(_G3324, _G3459), parent(_G3324, _G3630), different(_G3459, _G3630)), siblings(_G3459, _G3630))),  (=>((parent(_G3801, _G3882), parent(_G3801, _G3972), different(_G3882, _G3972)), siblings(_G3882, _G3972)), asePFC:pt(umt, =>((parent(_G3324, _G3459), parent(_G3324, _G3630), different(_G3459, _G3630)), siblings(_G3459, _G3630)),  (is_kif_rule(=>((parent(_G3324, _G3459), parent(_G3324, _G3630), different(_G3459, _G3630)), siblings(_G3459, _G3630)))->rhs([clif(=>((parent(_G3324, _G3459), parent(_G3324, _G3630), different(_G3459, _G3630)), siblings(_G3459, _G3630)))])))))).
  1151. % gripe_time(warn(1.9883828600000015>0.8), fi:mpred_fwd2(=>((parent(Ma, X), parent(Ma, Y), different(X, Y)), siblings(X, Y)),  (u, u))).
  1152. % gripe_time(warn(1.9958723330000012>0.6), fi:ain_fast_timed(fi: =>((parent(Ma, X), parent(Ma, Y), different(X, Y)), siblings(X, Y)),  (u, u))).
  1153.  
  1154.  
  1155.  
  1156.  
  1157.  
  1158.  
  1159. =>(parent(P1, P2), ancestor(P1, P2)).
  1160.  
  1161.  
  1162.  
  1163.  
  1164. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1165. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1166. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1167. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1168. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:92
  1169. % kif :-
  1170. %       all(_G34149,
  1171. %           all(_G34150, =>(parent(_G34149, _G34150), ancestor(_G34149, _G34150)))).
  1172. % pkif :-
  1173. %       all(_G34149,
  1174. %           all(_G34150, =>(parent(_G34149, _G34150), ancestor(_G34149, _G34150)))).
  1175. % cnf :-
  1176. %       not(parent(_G34149, _G34150))v ancestor(_G34149, _G34150).
  1177. % horn :-
  1178. %
  1179. %       [ (not(parent(_G45782, _G45783)):-not(ancestor(_G45782, _G45783))),
  1180. %         (ancestor(_G45726, _G45727):-parent(_G45726, _G45727))
  1181. %       ].
  1182. % pfc :-
  1183. %
  1184. %       [ ==>((neg(ancestor(_G45782, _G45783)), {is_unit(_G45783, _G45782)}), neg(parent(_G45782, _G45783))),
  1185. %         ==>((parent(_G45726, _G45727), {is_unit(_G45727, _G45726)}), ancestor(_G45726, _G45727))
  1186. %       ].
  1187.  
  1188.  
  1189.  
  1190. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1191. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1192. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1193. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1194. % kif :-
  1195. %       all(_G47684,
  1196. %           all(_G47685, =>(parent(_G47684, _G47685), ancestor(_G47684, _G47685)))).
  1197. % pkif :-
  1198. %       all(_G47684,
  1199. %           all(_G47685, =>(parent(_G47684, _G47685), ancestor(_G47684, _G47685)))).
  1200. % cnf :-
  1201. %       not(parent(_G47684, _G47685))v ancestor(_G47684, _G47685).
  1202. % horn :-
  1203. %
  1204. %       [ (not(parent(_G59291, _G59292)):-not(ancestor(_G59291, _G59292))),
  1205. %         (ancestor(_G59235, _G59236):-parent(_G59235, _G59236))
  1206. %       ].
  1207.  
  1208.  
  1209.  
  1210.  
  1211.  
  1212.  
  1213. =>((parent(P1, P2), ancestor(P2, P3)), ancestor(P1, P3)).
  1214.  
  1215.  
  1216.  
  1217.  
  1218. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1219. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1220. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1221. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1222. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:93
  1223. % kif :-
  1224. %       all(_G72013,
  1225. %           all(_G72012,
  1226. %               all(_G72016,
  1227. %                   =>((parent(_G72012, _G72013), ancestor(_G72013, _G72016)), ancestor(_G72012, _G72016))))).
  1228. % pkif :-
  1229. %       all(_G72013,
  1230. %           all(_G72012,
  1231. %               all(_G72016,
  1232. %                   =>(parent(_G72012, _G72013)&ancestor(_G72013, _G72016), ancestor(_G72012, _G72016))))).
  1233. % cnf :-
  1234. %       ancestor(_G72012, _G72016)v (not(parent(_G72012, _G72013))v not(ancestor(_G72013, _G72016))).
  1235. % horn :-
  1236. %
  1237. %       [ (not(ancestor(_G4600, _G4601)):-not(ancestor(_G4608, _G4601)), parent(_G4608, _G4600)),
  1238. %         (not(parent(_G4666, _G4667)):-not(ancestor(_G4666, _G4675)), ancestor(_G4667, _G4675)),
  1239. %         (ancestor(_G4730, _G4731):-parent(_G4730, _G4737), ancestor(_G4737, _G4731))
  1240. %       ].
  1241. % pfc :-
  1242. %
  1243. %       [ (neg(ancestor(_G4302, _G4303))<-neg(ancestor(_G4304, _G4303)), parent(_G4304, _G4302), {is_unit(_G4303, _G4302)}),
  1244. %         (neg(parent(_G4305, _G4306))<-neg(ancestor(_G4305, _G4307)), ancestor(_G4306, _G4307), {is_unit(_G4306, _G4305)}),
  1245. %         ==>((parent(_G4308, _G4310), ancestor(_G4310, _G4309), {is_unit(_G4309, _G4308)}), ancestor(_G4308, _G4309))
  1246. %       ].
  1247.  
  1248.  
  1249.  
  1250. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1251. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1252. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1253. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1254. % kif :-
  1255. %       all(_G92161,
  1256. %           all(_G92160,
  1257. %               all(_G92164,
  1258. %                   =>((parent(_G92160, _G92161), ancestor(_G92161, _G92164)), ancestor(_G92160, _G92164))))).
  1259. % pkif :-
  1260. %       all(_G92161,
  1261. %           all(_G92160,
  1262. %               all(_G92164,
  1263. %                   =>(parent(_G92160, _G92161)&ancestor(_G92161, _G92164), ancestor(_G92160, _G92164))))).
  1264. % cnf :-
  1265. %       ancestor(_G92160, _G92164)v (not(parent(_G92160, _G92161))v not(ancestor(_G92161, _G92164))).
  1266. % horn :-
  1267. %
  1268. %       [ (not(ancestor(_G4496, _G4497)):-not(ancestor(_G4504, _G4497)), parent(_G4504, _G4496)),
  1269. %         (not(parent(_G4562, _G4563)):-not(ancestor(_G4562, _G4571)), ancestor(_G4563, _G4571)),
  1270. %         (ancestor(_G4626, _G4627):-parent(_G4626, _G4633), ancestor(_G4633, _G4627))
  1271. %       ].
  1272. % gripe_time(warn(1.2232415690000025>0.8), fi:mpred_fwd2(clif(=>((parent(_G2974, _G3109), ancestor(_G3109, _G3244)), ancestor(_G2974, _G3244))),  (=>((parent(_G3379, _G3460), ancestor(_G3460, _G3541)), ancestor(_G3379, _G3541)), asePFC:pt(umt, =>((parent(_G2974, _G3109), ancestor(_G3109, _G3244)), ancestor(_G2974, _G3244)),  (is_kif_rule(=>((parent(_G2974, _G3109), ancestor(_G3109, _G3244)), ancestor(_G2974, _G3244)))->rhs([clif(=>((parent(_G2974, _G3109), ancestor(_G3109, _G3244)), ancestor(_G2974, _G3244)))])))))).
  1273. % gripe_time(warn(1.2291254199999955>0.8), fi:mpred_fwd2(=>((parent(P1, P2), ancestor(P2, P3)), ancestor(P1, P3)),  (u, u))).
  1274. % gripe_time(warn(1.2350357770000002>0.6), fi:ain_fast_timed(fi: =>((parent(P1, P2), ancestor(P2, P3)), ancestor(P1, P3)),  (u, u))).
  1275.  
  1276.  
  1277.  
  1278.  
  1279.  
  1280.  
  1281. =>((ancestor(P1, P2), ancestor(P2, P3)), ancestor(P1, P3)).
  1282.  
  1283.  
  1284.  
  1285.  
  1286. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1287. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1288. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1289. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1290. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:94
  1291. % kif :-
  1292. %       all(_G47844,
  1293. %           all(_G47843,
  1294. %               all(_G47847,
  1295. %                   =>((ancestor(_G47843, _G47844), ancestor(_G47844, _G47847)), ancestor(_G47843, _G47847))))).
  1296. % pkif :-
  1297. %       all(_G47844,
  1298. %           all(_G47843,
  1299. %               all(_G47847,
  1300. %                   =>(ancestor(_G47843, _G47844)&ancestor(_G47844, _G47847), ancestor(_G47843, _G47847))))).
  1301. % cnf :-
  1302. %       ancestor(_G47843, _G47847)v (not(ancestor(_G47843, _G47844))v not(ancestor(_G47844, _G47847))).
  1303. % horn :-
  1304. %
  1305. %       [ (not(ancestor(_G4600, _G4601)):-not(ancestor(_G4608, _G4601)), ancestor(_G4608, _G4600)),
  1306. %         (not(ancestor(_G4666, _G4667)):-not(ancestor(_G4666, _G4675)), ancestor(_G4667, _G4675)),
  1307. %         (ancestor(_G4730, _G4731):-ancestor(_G4730, _G4737), ancestor(_G4737, _G4731))
  1308. %       ].
  1309. % pfc :-
  1310. %
  1311. %       [ (neg(ancestor(_G4302, _G4303))<-neg(ancestor(_G4304, _G4303)), {avoidHeadLoop(ancestor(_G4304, _G4302), ancestor(_G4302, _G4303))}, ancestor(_G4304, _G4302), {is_unit(_G4303, _G4302)}),
  1312. %         (neg(ancestor(_G4305, _G4306))<-neg(ancestor(_G4305, _G4307)), {avoidHeadLoop(ancestor(_G4306, _G4307), ancestor(_G4305, _G4306))}, ancestor(_G4306, _G4307), {is_unit(_G4306, _G4305)}),
  1313. %         ==>((ancestor(_G4308, _G4310), ancestor(_G4310, _G4309), {is_unit(_G4309, _G4308)}), ancestor(_G4308, _G4309))
  1314. %       ].
  1315.  
  1316.  
  1317.  
  1318. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1319. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1320. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1321. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1322. % kif :-
  1323. %       all(_G84094,
  1324. %           all(_G84093,
  1325. %               all(_G84097,
  1326. %                   =>((ancestor(_G84093, _G84094), ancestor(_G84094, _G84097)), ancestor(_G84093, _G84097))))).
  1327. % pkif :-
  1328. %       all(_G84094,
  1329. %           all(_G84093,
  1330. %               all(_G84097,
  1331. %                   =>(ancestor(_G84093, _G84094)&ancestor(_G84094, _G84097), ancestor(_G84093, _G84097))))).
  1332. % cnf :-
  1333. %       ancestor(_G84093, _G84097)v (not(ancestor(_G84093, _G84094))v not(ancestor(_G84094, _G84097))).
  1334. % horn :-
  1335. %
  1336. %       [ (not(ancestor(_G4496, _G4497)):-not(ancestor(_G4504, _G4497)), ancestor(_G4504, _G4496)),
  1337. %         (not(ancestor(_G4562, _G4563)):-not(ancestor(_G4562, _G4571)), ancestor(_G4563, _G4571)),
  1338. %         (ancestor(_G4626, _G4627):-ancestor(_G4626, _G4633), ancestor(_G4633, _G4627))
  1339. %       ].
  1340. % gripe_time(warn(1.193619579>0.8), fi:mpred_fwd2(clif(=>((ancestor(_G2974, _G3109), ancestor(_G3109, _G3244)), ancestor(_G2974, _G3244))),  (=>((ancestor(_G3379, _G3460), ancestor(_G3460, _G3541)), ancestor(_G3379, _G3541)), asePFC:pt(umt, =>((ancestor(_G2974, _G3109), ancestor(_G3109, _G3244)), ancestor(_G2974, _G3244)),  (is_kif_rule(=>((ancestor(_G2974, _G3109), ancestor(_G3109, _G3244)), ancestor(_G2974, _G3244)))->rhs([clif(=>((ancestor(_G2974, _G3109), ancestor(_G3109, _G3244)), ancestor(_G2974, _G3244)))])))))).
  1341. % gripe_time(warn(1.1998147839999973>0.8), fi:mpred_fwd2(=>((ancestor(P1, P2), ancestor(P2, P3)), ancestor(P1, P3)),  (u, u))).
  1342. % gripe_time(warn(1.2067272350000025>0.6), fi:ain_fast_timed(fi: =>((ancestor(P1, P2), ancestor(P2, P3)), ancestor(P1, P3)),  (u, u))).
  1343.  
  1344.  
  1345.  
  1346.  
  1347.  
  1348.  
  1349. mother(eileen, douglas).
  1350.  
  1351.  
  1352.  
  1353.  
  1354. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1355. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1356. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1357. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1358. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:96
  1359. % kif :-
  1360. %       neg(male(eileen)).
  1361. % pkif :-
  1362. %       not(male(eileen)).
  1363. % cnf :-
  1364. %       not(male(eileen)).
  1365. % horn :-
  1366. %       [not(male(eileen))].
  1367. % pfc :-
  1368. %       [neg(male(eileen))].
  1369.  
  1370.  
  1371.  
  1372. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1373. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1374. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1375. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1376. % kif :-
  1377. %       neg(gender(eileen, male)).
  1378. % pkif :-
  1379. %       not(gender(eileen, male)).
  1380. % cnf :-
  1381. %       not(gender(eileen, male)).
  1382. % horn :-
  1383. %       [not(gender(eileen, male))].
  1384. % pfc :-
  1385. %       [neg(gender(eileen, male))].
  1386.  
  1387.  
  1388.  
  1389. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1390. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1391. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1392. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1393. % kif :-
  1394. %       neg(gender(eileen, male)).
  1395. % pkif :-
  1396. %       not(gender(eileen, male)).
  1397. % cnf :-
  1398. %       not(gender(eileen, male)).
  1399. % horn :-
  1400. %       [not(gender(eileen, male))].
  1401.  
  1402.  
  1403.  
  1404. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1405. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1406. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1407. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1408. % kif :-
  1409. %       neg(male(eileen)).
  1410. % pkif :-
  1411. %       not(male(eileen)).
  1412. % cnf :-
  1413. %       not(male(eileen)).
  1414. % horn :-
  1415. %       [not(male(eileen))].
  1416.  
  1417. %= trudy is human
  1418.  
  1419.  
  1420.  
  1421.  
  1422.  
  1423. human(trudy).
  1424.  
  1425.  
  1426. %= catch a regression bug that may couse trudy to lose human assertion
  1427.  
  1428.  
  1429.  
  1430.  
  1431.  
  1432. never_retract_u(human(trudy)).
  1433.  
  1434.  
  1435.  
  1436.  
  1437.  
  1438.  
  1439.  
  1440. :- mpred_trace_exec.
  1441.  
  1442.  
  1443.  
  1444.  
  1445.  
  1446.  
  1447.  
  1448. :- kif_add(forall(p, exists([m, f], if(human(p), mother(m, p)&father(f, p))))).
  1449.  
  1450. Using Trigger p-trigger:
  1451.  umt:clif(forall(p,exists([m,f],if(human(p),mother(m,p)&father(f,p))))):-mpred_non_neg_literal(clif(forall(p,exists([m,f],if(human(p),mother(m,p)&father(f,p))))))->rhs([\+neg(clif(forall(p,exists([m,f],if(human(p),mother(m,p)&father(f,p))))))])
  1452. Skipped Trigger p-trigger:
  1453.  umt:clif(forall(p,exists([m,f],if(human(p),mother(m,p)&father(f,p))))):-is_ftNonvar(clif(forall(p,exists([m,f],if(human(p),mother(m,p)&father(f,p))))))->functor(clif(forall(p,exists([m,f],if(human(p),mother(m,p)&father(f,p))))),_G110689,_G110715),\+mpred_connective(_G110689),_G110715>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(clif(forall(p,exists([m,f],if(human(p),mother(m,p)&father(f,p)))))))))}])
  1454.  
  1455.  
  1456.  
  1457. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1458. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1459. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1460. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1461. % /home/dmiles/lib/swipl/pack/logicmoo_base/t/examples/fol/family_inheritance.pfc.pl:107
  1462. % kif :-
  1463. %       forall(p, exists([m, f], if(human(p), mother(m, p)&father(f, p)))).
  1464. % pkif :-
  1465. %       all(P, exists(M, exists(F, =>(human(P), mother(M, P)&father(F, P))))).
  1466. % cnf :-
  1467. %       (not(skolem(M, skArg1ofMotherFn(P)))v (not(skolem(F, skArg1ofFatherFn(P)))v (not(human(P))v mother(M, P))))& (not(skolem(M, skArg1ofMotherFn(P)))v (not(skolem(F, skArg1ofFatherFn(P)))v (not(human(P))v father(F, P)))).
  1468. % horn :-
  1469. %
  1470. %       [ (not(human(P)):-skolem(M, skArg1ofMotherFn(P)), skolem(F, skArg1ofFatherFn(P)), not(father(F, P))),
  1471. %         (not(human(P)):-skolem(M, skArg1ofMotherFn(P)), skolem(F, skArg1ofFatherFn(P)), not(mother(M, P))),
  1472. %         (not(skolem(F, skArg1ofFatherFn(P))):-skolem(M, skArg1ofMotherFn(P)), human(P), not(father(F, P))),
  1473. %         (not(skolem(F, skArg1ofFatherFn(P))):-skolem(M, skArg1ofMotherFn(P)), human(P), not(mother(M, P))),
  1474. %         (not(skolem(M, skArg1ofMotherFn(P))):-skolem(F, skArg1ofFatherFn(P)), human(P), not(father(F, P))),
  1475. %         (not(skolem(M, skArg1ofMotherFn(P))):-skolem(F, skArg1ofFatherFn(P)), human(P), not(mother(M, P))),
  1476. %         (father(F, P):-skolem(M, skArg1ofMotherFn(P)), skolem(F, skArg1ofFatherFn(P)), human(P)),
  1477. %         (mother(M, P):-skolem(M, skArg1ofMotherFn(P)), skolem(F, skArg1ofFatherFn(P)), human(P))
  1478. %       ].
  1479. % pfc :-
  1480. %
  1481. %       [ (neg(human(P))<-neg(father(F, P)), {is_unit(P)}),
  1482. %         (neg(human(P))<-neg(mother(M, P)), {is_unit(P)}),
  1483. %         true,
  1484. %         true,
  1485. %         true,
  1486. %         true,
  1487. %         ==>(({ignore(M=skArg1ofMotherFn(P))}, human(P), {is_unit(P)}), if_missing(father(F, P), father(skArg1ofFatherFn(P), P))),
  1488. %         ==>(({ignore(F=skArg1ofFatherFn(P))}, human(P), {is_unit(P)}), if_missing(mother(M, P), mother(skArg1ofMotherFn(P), P)))
  1489. %       ].
  1490. Skipped Trigger p-trigger:
  1491.  umt:mpred_mark(pfcRHSR,neg,human,1):-mpred_non_neg_literal(mpred_mark(pfcRHSR,neg,human,1))->rhs([\+neg(mpred_mark(pfcRHSR,neg,human,1))])
  1492. Using Trigger p-trigger:
  1493.  umt:arity(human,1):-mpred_non_neg_literal(arity(human,1))->rhs([\+neg(arity(human,1))])
  1494. Using Trigger p-trigger:
  1495.  umt:arity(human,1):-is_ftNonvar(arity(human,1))->functor(arity(human,1),_G16992,_G17018),\+mpred_connective(_G16992),_G17018>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(arity(human,1)))))}])
  1496. Skipped Trigger p-trigger:
  1497.  umt:arity(human,1):-is_kif_rule(arity(human,1))->rhs([clif(arity(human,1))])
  1498. Using Trigger p-trigger:
  1499.  umt:mpred_mark(pfcRHSR,neg,human,1):-ground(pfcRHSR:neg)->rhs([arity(human,1)])
  1500. Using Trigger p-trigger:
  1501.  umt:hybrid_support(human,1):-mpred_non_neg_literal(hybrid_support(human,1))->rhs([\+neg(hybrid_support(human,1))])
  1502. Using Trigger p-trigger:
  1503.  umt:prologHybrid(human):-mpred_non_neg_literal(prologHybrid(human))->rhs([\+neg(prologHybrid(human))])
  1504. Adding For Later p-trigger:
  1505.  umt:arity(human,_G33026):-rhs([hybrid_support(human,_G33026)])
  1506. Using Trigger p-trigger:
  1507.  umt:prologHybrid(human):-basePFC:pt(umt,arity(human,_G36945),rhs([hybrid_support(human,_G36945)]))
  1508. Skipped Trigger p-trigger:
  1509.  umt:prologHybrid(human):-is_ftNonvar(prologHybrid(human))->functor(prologHybrid(human),_G38386,_G38412),\+mpred_connective(_G38386),_G38412>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(prologHybrid(human)))))}])
  1510. Skipped Trigger p-trigger:
  1511.  umt:prologHybrid(human):-get_functor(human,_G39296,_G39322),human\=_G39296->rhs([arity(_G39296,_G39322)])
  1512. Skipped Trigger p-trigger:
  1513.  umt:prologHybrid(human):-has_functor(human)->rhs([{kb_dynamic(human)}])
  1514. Skipped Trigger p-trigger:
  1515.  umt:prologHybrid(human):-is_kif_rule(prologHybrid(human))->rhs([clif(prologHybrid(human))])
  1516. Using Trigger p-trigger:
  1517.  umt:hybrid_support(human,1):-human\='$VAR',atom(human),integer(1),\+prologDynamic(human),\+static_predicate(human/1)->rhs([{functor(_G44724,human,1),(var(_G44783)->t_l:user_abox(_G44783);true),(var(_G44783)->predicate_property(_G44783:_G44724,exported);true),(var(_G44783)->ignore((current_predicate(human,_G44783:_G44724),\+predicate_property(_G44783:_G44724,imported_from(_G45151))));true),(predicate_property(_G44783:_G44724,dynamic)->true;must(convert_to_dynamic(_G44783,human,1))),kb_dynamic(_G44783:human/1),(discontiguous _G44783:human/1),show_failure(hybrid_support,\+static_predicate(human/1))},prologHybrid(human),arity(human,1)])
  1518. Using Trigger p-trigger:
  1519.  umt:hybrid_support(human,1):-rhs([prologHybrid(human),arity(human,1)])
  1520. Using Trigger p-trigger:
  1521.  umt:hybrid_support(human,1):-is_ftNonvar(hybrid_support(human,1))->functor(hybrid_support(human,1),_G48581,_G48607),\+mpred_connective(_G48581),_G48607>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(hybrid_support(human,1)))))}])
  1522. Skipped Trigger p-trigger:
  1523.  umt:hybrid_support(human,1):-is_kif_rule(hybrid_support(human,1))->rhs([clif(hybrid_support(human,1))])
  1524. Using Trigger p-trigger:
  1525.  umt:mpred_mark(pfcRHSR,neg,human,1):-ground(neg)->rhs([hybrid_support(human,1)])
  1526. Using Trigger p-trigger:
  1527.  umt:mpred_mark(pfcRHSR,neg,human,1):-is_ftNonvar(mpred_mark(pfcRHSR,neg,human,1))->functor(mpred_mark(pfcRHSR,neg,human,1),_G50856,_G50882),\+mpred_connective(_G50856),_G50882>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(mpred_mark(pfcRHSR,neg,human,1)))))}])
  1528. Skipped Trigger p-trigger:
  1529.  umt:mpred_mark(pfcRHSR,neg,human,1):-is_kif_rule(mpred_mark(pfcRHSR,neg,human,1))->rhs([clif(mpred_mark(pfcRHSR,neg,human,1))])
  1530. Removing support mpred_rem_support(mpred_remove_supports_quietly,basePFC:qu(umt,repropagate(arity(human,_G62840)),(g,g)),_G62875)
  1531. Using Trigger p-trigger:
  1532.  umt:arity(human,1):-mpred_non_neg_literal(arity(human,1))->rhs([\+neg(arity(human,1))])
  1533. Using Trigger p-trigger:
  1534.  umt:arity(human,1):-is_ftNonvar(arity(human,1))->functor(arity(human,1),_G67854,_G67880),\+mpred_connective(_G67854),_G67880>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(arity(human,1)))))}])
  1535. Skipped Trigger p-trigger:
  1536.  umt:arity(human,1):-is_kif_rule(arity(human,1))->rhs([clif(arity(human,1))])
  1537. Using Trigger p-trigger:
  1538.  umt:arity(human,1):-rhs([hybrid_support(human,1)])
  1539. Skipped Trigger p-trigger:
  1540.  umt:repropagate(arity(human,_G69919)):-mpred_non_neg_literal(repropagate(arity(human,_G69919)))->rhs([\+neg(repropagate(arity(human,_G69919)))])
  1541. Skipped Trigger p-trigger:
  1542.  umt:repropagate(arity(human,_G71506)):-is_ftNonvar(repropagate(arity(human,_G71506)))->functor(repropagate(arity(human,_G71506)),_G71647,_G71673),\+mpred_connective(_G71647),_G71673>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(repropagate(arity(human,_G71506))))))}])
  1543. Skipped Trigger p-trigger:
  1544.  umt:repropagate(arity(human,_G72405)):-is_kif_rule(repropagate(arity(human,_G72405)))->rhs([clif(repropagate(arity(human,_G72405)))])
  1545. Using Trigger p-trigger:
  1546.  umt:bt(umt,neg(human(_G73360)),pt(umt,neg(father(_G73413,_G73360)),(is_unit(_G73360)->rhs([neg(human(_G73360))])))):-mpred_non_neg_literal(bt(umt,neg(human(_G73360)),pt(umt,neg(father(_G73413,_G73360)),(is_unit(_G73360)->rhs([neg(human(_G73360))])))))->rhs([\+neg(bt(umt,neg(human(_G73360)),pt(umt,neg(father(_G73413,_G73360)),(is_unit(_G73360)->rhs([neg(human(_G73360))])))))])
  1547. Using Trigger p-trigger:
  1548.  umt:bt(umt,neg(human(_G77426)),pt(umt,neg(father(_G77479,_G77426)),(is_unit(_G77426)->rhs([neg(human(_G77426))])))):-is_ftNonvar(bt(umt,neg(human(_G77426)),pt(umt,neg(father(_G77479,_G77426)),(is_unit(_G77426)->rhs([neg(human(_G77426))])))))->functor(bt(umt,neg(human(_G77426)),pt(umt,neg(father(_G77479,_G77426)),(is_unit(_G77426)->rhs([neg(human(_G77426))])))),_G78011,_G78037),\+mpred_connective(_G78011),_G78037>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(bt(umt,neg(human(_G77426)),pt(umt,neg(father(_G77479,_G77426)),(is_unit(_G77426)->rhs([neg(human(_G77426))]))))))))}])
  1549. Skipped Trigger p-trigger:
  1550.  umt:bt(umt,neg(human(_G78325)),pt(umt,neg(father(_G78378,_G78325)),(is_unit(_G78325)->rhs([neg(human(_G78325))])))):-is_kif_rule(bt(umt,neg(human(_G78325)),pt(umt,neg(father(_G78378,_G78325)),(is_unit(_G78325)->rhs([neg(human(_G78325))])))))->rhs([clif(bt(umt,neg(human(_G78325)),pt(umt,neg(father(_G78378,_G78325)),(is_unit(_G78325)->rhs([neg(human(_G78325))])))))])
  1551. Skipped Trigger p-trigger:
  1552.  umt: (neg(human(_G79473))<-neg(father(_G79523,_G79473)),{is_unit(_G79473)}):-mpred_non_neg_literal((neg(human(_G79473))<-neg(father(_G79523,_G79473)),{is_unit(_G79473)}))->rhs([\+neg((neg(human(_G79473))<-neg(father(_G79523,_G79473)),{is_unit(_G79473)}))])
  1553. Skipped Trigger p-trigger:
  1554.  umt: (neg(human(_G81371))<-neg(father(_G81421,_G81371)),{is_unit(_G81371)}):-is_ftNonvar((neg(human(_G81371))<-neg(father(_G81421,_G81371)),{is_unit(_G81371)}))->functor((neg(human(_G81371))<-neg(father(_G81421,_G81371)),{is_unit(_G81371)}),_G81818,_G81844),\+mpred_connective(_G81818),_G81844>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType((neg(human(_G81371))<-neg(father(_G81421,_G81371)),{is_unit(_G81371)})))))}])
  1555. Skipped Trigger p-trigger:
  1556.  umt: (neg(human(_G82270))<-neg(father(_G82320,_G82270)),{is_unit(_G82270)}):-is_kif_rule((neg(human(_G82270))<-neg(father(_G82320,_G82270)),{is_unit(_G82270)}))->rhs([clif((neg(human(_G82270))<-neg(father(_G82320,_G82270)),{is_unit(_G82270)}))])
  1557. Using Trigger p-trigger:
  1558.  umt:bt(umt,neg(human(_G99472)),pt(umt,neg(mother(_G99525,_G99472)),(is_unit(_G99472)->rhs([neg(human(_G99472))])))):-mpred_non_neg_literal(bt(umt,neg(human(_G99472)),pt(umt,neg(mother(_G99525,_G99472)),(is_unit(_G99472)->rhs([neg(human(_G99472))])))))->rhs([\+neg(bt(umt,neg(human(_G99472)),pt(umt,neg(mother(_G99525,_G99472)),(is_unit(_G99472)->rhs([neg(human(_G99472))])))))])
  1559. Using Trigger p-trigger:
  1560.  umt:bt(umt,neg(human(_G103542)),pt(umt,neg(mother(_G103595,_G103542)),(is_unit(_G103542)->rhs([neg(human(_G103542))])))):-is_ftNonvar(bt(umt,neg(human(_G103542)),pt(umt,neg(mother(_G103595,_G103542)),(is_unit(_G103542)->rhs([neg(human(_G103542))])))))->functor(bt(umt,neg(human(_G103542)),pt(umt,neg(mother(_G103595,_G103542)),(is_unit(_G103542)->rhs([neg(human(_G103542))])))),_G104127,_G104153),\+mpred_connective(_G104127),_G104153>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(bt(umt,neg(human(_G103542)),pt(umt,neg(mother(_G103595,_G103542)),(is_unit(_G103542)->rhs([neg(human(_G103542))]))))))))}])
  1561. Skipped Trigger p-trigger:
  1562.  umt:bt(umt,neg(human(_G104441)),pt(umt,neg(mother(_G104494,_G104441)),(is_unit(_G104441)->rhs([neg(human(_G104441))])))):-is_kif_rule(bt(umt,neg(human(_G104441)),pt(umt,neg(mother(_G104494,_G104441)),(is_unit(_G104441)->rhs([neg(human(_G104441))])))))->rhs([clif(bt(umt,neg(human(_G104441)),pt(umt,neg(mother(_G104494,_G104441)),(is_unit(_G104441)->rhs([neg(human(_G104441))])))))])
  1563. Skipped Trigger p-trigger:
  1564.  umt: (neg(human(_G105589))<-neg(mother(_G105639,_G105589)),{is_unit(_G105589)}):-mpred_non_neg_literal((neg(human(_G105589))<-neg(mother(_G105639,_G105589)),{is_unit(_G105589)}))->rhs([\+neg((neg(human(_G105589))<-neg(mother(_G105639,_G105589)),{is_unit(_G105589)}))])
  1565. Skipped Trigger p-trigger:
  1566.  umt: (neg(human(_G107492))<-neg(mother(_G107542,_G107492)),{is_unit(_G107492)}):-is_ftNonvar((neg(human(_G107492))<-neg(mother(_G107542,_G107492)),{is_unit(_G107492)}))->functor((neg(human(_G107492))<-neg(mother(_G107542,_G107492)),{is_unit(_G107492)}),_G107939,_G107965),\+mpred_connective(_G107939),_G107965>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType((neg(human(_G107492))<-neg(mother(_G107542,_G107492)),{is_unit(_G107492)})))))}])
  1567. Skipped Trigger p-trigger:
  1568.  umt: (neg(human(_G108391))<-neg(mother(_G108441,_G108391)),{is_unit(_G108391)}):-is_kif_rule((neg(human(_G108391))<-neg(mother(_G108441,_G108391)),{is_unit(_G108391)}))->rhs([clif((neg(human(_G108391))<-neg(mother(_G108441,_G108391)),{is_unit(_G108391)}))])
  1569. Skipped Trigger p-trigger:
  1570.  umt:mpred_mark(pfcRHSR,r,if_missing,2):-mpred_non_neg_literal(mpred_mark(pfcRHSR,r,if_missing,2))->rhs([\+neg(mpred_mark(pfcRHSR,r,if_missing,2))])
  1571. Using Trigger p-trigger:
  1572.  umt:mpred_mark(pfcRHSR,r,if_missing,2):-ground(pfcRHSR:r)->rhs([arity(if_missing,2)])
  1573. Using Trigger p-trigger:
  1574.  umt:hybrid_support(if_missing,2):-mpred_non_neg_literal(hybrid_support(if_missing,2))->rhs([\+neg(hybrid_support(if_missing,2))])
  1575. Skipped Trigger p-trigger:
  1576.  umt:hybrid_support(if_missing,2):-if_missing\='$VAR',atom(if_missing),integer(2),\+prologDynamic(if_missing),\+static_predicate(if_missing/2)->rhs([{functor(_G7649,if_missing,2),(var(_G7708)->t_l:user_abox(_G7708);true),(var(_G7708)->predicate_property(_G7708:_G7649,exported);true),(var(_G7708)->ignore((current_predicate(if_missing,_G7708:_G7649),\+predicate_property(_G7708:_G7649,imported_from(_G8076))));true),(predicate_property(_G7708:_G7649,dynamic)->true;must(convert_to_dynamic(_G7708,if_missing,2))),kb_dynamic(_G7708:if_missing/2),(discontiguous _G7708:if_missing/2),show_failure(hybrid_support,\+static_predicate(if_missing/2))},prologHybrid(if_missing),arity(if_missing,2)])
  1577. Using Trigger p-trigger:
  1578.  umt:hybrid_support(if_missing,2):-rhs([prologHybrid(if_missing),arity(if_missing,2)])
  1579. Using Trigger p-trigger:
  1580.  umt:hybrid_support(if_missing,2):-is_ftNonvar(hybrid_support(if_missing,2))->functor(hybrid_support(if_missing,2),_G9687,_G9713),\+mpred_connective(_G9687),_G9713>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(hybrid_support(if_missing,2)))))}])
  1581. Skipped Trigger p-trigger:
  1582.  umt:hybrid_support(if_missing,2):-is_kif_rule(hybrid_support(if_missing,2))->rhs([clif(hybrid_support(if_missing,2))])
  1583. Using Trigger p-trigger:
  1584.  umt:mpred_mark(pfcRHSR,r,if_missing,2):-ground(r)->rhs([hybrid_support(if_missing,2)])
  1585. Using Trigger p-trigger:
  1586.  umt:mpred_mark(pfcRHSR,r,if_missing,2):-is_ftNonvar(mpred_mark(pfcRHSR,r,if_missing,2))->functor(mpred_mark(pfcRHSR,r,if_missing,2),_G11968,_G11994),\+mpred_connective(_G11968),_G11994>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(mpred_mark(pfcRHSR,r,if_missing,2)))))}])
  1587. Skipped Trigger p-trigger:
  1588.  umt:mpred_mark(pfcRHSR,r,if_missing,2):-is_kif_rule(mpred_mark(pfcRHSR,r,if_missing,2))->rhs([clif(mpred_mark(pfcRHSR,r,if_missing,2))])
  1589. Adding For Later p-trigger:
  1590.  umt:human(_G14253):-is_unit(_G14253)->rhs([if_missing(father(_G14338,_G14253),father(skArg1ofFatherFn(_G14253),_G14253))])
  1591. Skipped Trigger p-trigger:
  1592.  umt:mpred_mark(pfcPosTrigger,p,human,1):-mpred_non_neg_literal(mpred_mark(pfcPosTrigger,p,human,1))->rhs([\+neg(mpred_mark(pfcPosTrigger,p,human,1))])
  1593. Skipped Trigger p-trigger:
  1594.  umt:mpred_mark(pfcPosTrigger,p,human,1):-fa_to_p(human,1,_G22950),predicate_property(_G22950,static)->rhs([{trace_or_throw(warn(pfcPosTrigger,_G22950,static))}])
  1595. Using Trigger p-trigger:
  1596.  umt:mpred_mark(pfcPosTrigger,p,human,1):-ground(pfcPosTrigger:p)->rhs([arity(human,1)])
  1597. Using Trigger p-trigger:
  1598.  umt:mpred_mark(pfcPosTrigger,p,human,1):-ground(p)->rhs([hybrid_support(human,1)])
  1599. Using Trigger p-trigger:
  1600.  umt:mpred_mark(pfcPosTrigger,p,human,1):-is_ftNonvar(mpred_mark(pfcPosTrigger,p,human,1))->functor(mpred_mark(pfcPosTrigger,p,human,1),_G27817,_G27843),\+mpred_connective(_G27817),_G27843>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(mpred_mark(pfcPosTrigger,p,human,1)))))}])
  1601. Skipped Trigger p-trigger:
  1602.  umt:mpred_mark(pfcPosTrigger,p,human,1):-is_kif_rule(mpred_mark(pfcPosTrigger,p,human,1))->rhs([clif(mpred_mark(pfcPosTrigger,p,human,1))])
  1603. Skipped Trigger p-trigger:
  1604.  umt: ==>(({ignore(_G29491=skArg1ofMotherFn(_G29523))},human(_G29523),{is_unit(_G29523)}),if_missing(father(_G29634,_G29523),father(skArg1ofFatherFn(_G29523),_G29523))):-mpred_non_neg_literal(==>(({ignore(_G29491=skArg1ofMotherFn(_G29523))},human(_G29523),{is_unit(_G29523)}),if_missing(father(_G29634,_G29523),father(skArg1ofFatherFn(_G29523),_G29523))))->rhs([\+neg(==>(({ignore(_G29491=skArg1ofMotherFn(_G29523))},human(_G29523),{is_unit(_G29523)}),if_missing(father(_G29634,_G29523),father(skArg1ofFatherFn(_G29523),_G29523))))])
  1605. Skipped Trigger p-trigger:
  1606.  umt: ==>(({ignore(_G31790=skArg1ofMotherFn(_G31822))},human(_G31822),{is_unit(_G31822)}),if_missing(father(_G31933,_G31822),father(skArg1ofFatherFn(_G31822),_G31822))):-is_ftNonvar(==>(({ignore(_G31790=skArg1ofMotherFn(_G31822))},human(_G31822),{is_unit(_G31822)}),if_missing(father(_G31933,_G31822),father(skArg1ofFatherFn(_G31822),_G31822))))->functor(==>(({ignore(_G31790=skArg1ofMotherFn(_G31822))},human(_G31822),{is_unit(_G31822)}),if_missing(father(_G31933,_G31822),father(skArg1ofFatherFn(_G31822),_G31822))),_G32609,_G32635),\+mpred_connective(_G32609),_G32635>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(==>(({ignore(_G31790=skArg1ofMotherFn(_G31822))},human(_G31822),{is_unit(_G31822)}),if_missing(father(_G31933,_G31822),father(skArg1ofFatherFn(_G31822),_G31822)))))))}])
  1607. Skipped Trigger p-trigger:
  1608.  umt: ==>(({ignore(_G32689=skArg1ofMotherFn(_G32721))},human(_G32721),{is_unit(_G32721)}),if_missing(father(_G32832,_G32721),father(skArg1ofFatherFn(_G32721),_G32721))):-is_kif_rule(==>(({ignore(_G32689=skArg1ofMotherFn(_G32721))},human(_G32721),{is_unit(_G32721)}),if_missing(father(_G32832,_G32721),father(skArg1ofFatherFn(_G32721),_G32721))))->rhs([clif(==>(({ignore(_G32689=skArg1ofMotherFn(_G32721))},human(_G32721),{is_unit(_G32721)}),if_missing(father(_G32832,_G32721),father(skArg1ofFatherFn(_G32721),_G32721))))])
  1609. Adding For Later p-trigger:
  1610.  umt:human(_G41584):-is_unit(_G41584)->rhs([if_missing(mother(_G41669,_G41584),mother(skArg1ofMotherFn(_G41584),_G41584))])
  1611. Skipped Trigger p-trigger:
  1612.  umt: ==>(({ignore(_G47346=skArg1ofFatherFn(_G47378))},human(_G47378),{is_unit(_G47378)}),if_missing(mother(_G47489,_G47378),mother(skArg1ofMotherFn(_G47378),_G47378))):-mpred_non_neg_literal(==>(({ignore(_G47346=skArg1ofFatherFn(_G47378))},human(_G47378),{is_unit(_G47378)}),if_missing(mother(_G47489,_G47378),mother(skArg1ofMotherFn(_G47378),_G47378))))->rhs([\+neg(==>(({ignore(_G47346=skArg1ofFatherFn(_G47378))},human(_G47378),{is_unit(_G47378)}),if_missing(mother(_G47489,_G47378),mother(skArg1ofMotherFn(_G47378),_G47378))))])
  1613. Skipped Trigger p-trigger:
  1614.  umt: ==>(({ignore(_G49645=skArg1ofFatherFn(_G49677))},human(_G49677),{is_unit(_G49677)}),if_missing(mother(_G49788,_G49677),mother(skArg1ofMotherFn(_G49677),_G49677))):-is_ftNonvar(==>(({ignore(_G49645=skArg1ofFatherFn(_G49677))},human(_G49677),{is_unit(_G49677)}),if_missing(mother(_G49788,_G49677),mother(skArg1ofMotherFn(_G49677),_G49677))))->functor(==>(({ignore(_G49645=skArg1ofFatherFn(_G49677))},human(_G49677),{is_unit(_G49677)}),if_missing(mother(_G49788,_G49677),mother(skArg1ofMotherFn(_G49677),_G49677))),_G50464,_G50490),\+mpred_connective(_G50464),_G50490>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(==>(({ignore(_G49645=skArg1ofFatherFn(_G49677))},human(_G49677),{is_unit(_G49677)}),if_missing(mother(_G49788,_G49677),mother(skArg1ofMotherFn(_G49677),_G49677)))))))}])
  1615. Skipped Trigger p-trigger:
  1616.  umt: ==>(({ignore(_G50544=skArg1ofFatherFn(_G50576))},human(_G50576),{is_unit(_G50576)}),if_missing(mother(_G50687,_G50576),mother(skArg1ofMotherFn(_G50576),_G50576))):-is_kif_rule(==>(({ignore(_G50544=skArg1ofFatherFn(_G50576))},human(_G50576),{is_unit(_G50576)}),if_missing(mother(_G50687,_G50576),mother(skArg1ofMotherFn(_G50576),_G50576))))->rhs([clif(==>(({ignore(_G50544=skArg1ofFatherFn(_G50576))},human(_G50576),{is_unit(_G50576)}),if_missing(mother(_G50687,_G50576),mother(skArg1ofMotherFn(_G50576),_G50576))))])
  1617. Using Trigger p-trigger:
  1618.  umt:clif(forall(p,exists([m,f],if(human(p),mother(m,p)&father(f,p))))):-rhs([{clif_to_prolog(forall(p,exists([m,f],if(human(p),mother(m,p)&father(f,p)))),_G51658)},_G51658,{slow_sanity(is_entailed(forall(p,exists([m,f],if(human(p),mother(m,p)&father(f,p))))))}])
  1619.  
  1620.  
  1621.  
  1622. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1623. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1624. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1625. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  1626. % kif :-
  1627. %       forall(p, exists([m, f], if(human(p), mother(m, p)&father(f, p)))).
  1628. % pkif :-
  1629. %       all(P, exists(M, exists(F, =>(human(P), mother(M, P)&father(F, P))))).
  1630. % cnf :-
  1631. %       (not(skolem(M, skArg1ofMotherFn(P)))v (not(skolem(F, skArg1ofFatherFn(P)))v (not(human(P))v mother(M, P))))& (not(skolem(M, skArg1ofMotherFn(P)))v (not(skolem(F, skArg1ofFatherFn(P)))v (not(human(P))v father(F, P)))).
  1632. % horn :-
  1633. %
  1634. %       [ (not(human(P)):-skolem(M, skArg1ofMotherFn(P)), skolem(F, skArg1ofFatherFn(P)), not(father(F, P))),
  1635. %         (not(human(P)):-skolem(M, skArg1ofMotherFn(P)), skolem(F, skArg1ofFatherFn(P)), not(mother(M, P))),
  1636. %         (not(skolem(F, skArg1ofFatherFn(P))):-skolem(M, skArg1ofMotherFn(P)), human(P), not(father(F, P))),
  1637. %         (not(skolem(F, skArg1ofFatherFn(P))):-skolem(M, skArg1ofMotherFn(P)), human(P), not(mother(M, P))),
  1638. %         (not(skolem(M, skArg1ofMotherFn(P))):-skolem(F, skArg1ofFatherFn(P)), human(P), not(father(F, P))),
  1639. %         (not(skolem(M, skArg1ofMotherFn(P))):-skolem(F, skArg1ofFatherFn(P)), human(P), not(mother(M, P))),
  1640. %         (father(F, P):-skolem(M, skArg1ofMotherFn(P)), skolem(F, skArg1ofFatherFn(P)), human(P)),
  1641. %         (mother(M, P):-skolem(M, skArg1ofMotherFn(P)), skolem(F, skArg1ofFatherFn(P)), human(P))
  1642. %       ].
  1643. Removing support mpred_rem_support(mpred_remove_supports_quietly,basePFC:qu(umt,repropagate(human(_G14980)),(g,g)),_G15015)
  1644. Using Trigger p-trigger:
  1645.  umt:human(trudy):-mpred_non_neg_literal(human(trudy))->rhs([\+neg(human(trudy))])
  1646. Skipped Trigger p-trigger:
  1647.  umt:human(trudy):-is_ftNonvar(human(trudy))->functor(human(trudy),_G19188,_G19214),\+mpred_connective(_G19188),_G19214>1->rhs([{lmconf:agenda_slow_op_enqueue(must(ignore(deduceEachArgType(human(trudy)))))}])
  1648. Skipped Trigger p-trigger:
  1649.  umt:human(trudy):-is_kif_rule(human(trudy))->rhs([clif(human(trudy))])
  1650. % failed(on_f_debug(fi:with_in_source_context(if_missing(father(_G21572, trudy), father(skArg1ofFatherFn(trudy), trudy))))).
  1651. in_dumptrace(fi:with_in_source_context(if_missing(father(_G21572,trudy),father(skArg1ofFatherFn(trudy),trudy))))
  1652. % fi:with_in_source_context(if_missing(father(_G21572, trudy), father(skArg1ofFatherFn(trudy), trudy))).
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!