API tools faq
paste
Advertisement
logicmoo

Untitled

logicmoo
Aug 16th, 2015
403
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 9.78 KB | None | 0 0
raw download clone embed print report
  1. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  2. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  3. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  4. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  5. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  6. kif :-
  7.         all(X, all(Y, iff((parent(X, Y), male(X)), father(X, Y)))).
  8. %
  9. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  10. pkif :-
  11.         all(X, all(Y, (parent(X, Y)&male(X)<=>father(X, Y)))).
  12. %
  13. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  14. cnf :-
  15.         (father(X, Y)v (not(parent(X, Y))v not(male(X))))& ((not(father(X, Y))v parent(X, Y))& (not(father(X, Y))v male(X))).
  16. %
  17. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  18. horn :-
  19.  
  20.         [ (male(X):-father(X, Y)),
  21.           (not(male(X)):-not(father(X, Y)), parent(X, Y)),
  22.           (not(father(X, Y)):-not(male(X))),
  23.           (not(father(X, Y)):-not(parent(X, Y))),
  24.           (not(parent(X, Y)):-not(father(X, Y)), male(X)),
  25.           (father(X, Y):-parent(X, Y), male(X)),
  26.           (parent(X, Y):-father(X, Y))
  27.         ].
  28. %
  29. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  30. pfc :-
  31.  
  32.         [ (father(X, Y)=>{vg(s(X))}, male(X)),
  33.           (neg(male(X))<=neg(father(X, Y)), parent(X, Y), {vg(s(X))}),
  34.           (neg(father(X, Y))<=neg(male(X)), {vg(s(X))}),
  35.           (neg(parent(X, Y))=>{vg(s(Y, X))}, neg(father(X, Y))),
  36.           (neg(parent(X, Y))<=neg(father(X, Y)), male(X), {vg(s(Y, X))}),
  37.           (parent(X, Y), male(X)=>{vg(s(Y, X))}, father(X, Y)),
  38.           (father(X, Y)=>{vg(s(Y, X))}, parent(X, Y))
  39.         ].
  40. %
  41. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  42. %                       succeed(user:must(repropagate(father(_, _)))).
  43. %
  44. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  45. %                 succeed(user:call_with_attvars(asserta, ptBinaryPredicate(father))).
  46. %
  47.  
  48. % Adding (:) ptBinaryPredicate(father)    <-------- (pt(tPred(father),rhs([ptBinaryPredicate(father)])) <=TF=> tPred(father))
  49.  
  50. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  51. %               succeed(user:call_with_attvars(asserta, arity(father, 2))).
  52. %
  53.  
  54. % Adding (:) arity(father,2)    <-------- (pt(ptBinaryPredicate(father),rhs([arity(father,2),tPred(father)])) <=TF=> ptBinaryPredicate(father))
  55.  
  56.  
  57. % Removing (pfc_rem1(neg(arity(father,2)), (u,u))) neg(arity(father,2)).
  58.  
  59.  
  60. % Removing (pfc_rem1(neg(ptBinaryPredicate(father)), (u,u))) neg(ptBinaryPredicate(father)).
  61.  
  62.  
  63. % Removing (pfc_rem1(neg(arity(father,2)), (u,u))) neg(arity(father,2)).
  64.  
  65. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  66. %             succeed(user:must(repropagate(arity(father, _)))).
  67. %
  68. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  69. %              succeed(user:must(repropagate(argIsa(father, 2, ftPercent)))).
  70. %
  71. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  72. %               succeed(user:must(repropagate(argIsa(father, 2, ftInt)))).
  73. %
  74.  
  75. % Removing (pfc_rem1(neg(tPred(father)), (u,u))) neg(tPred(father)).
  76.  
  77. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  78. %                succeed(user:must(repropagate(tPred(father)))).
  79. %
  80.  
  81.  
  82. % Removing (pfc_rem1(neg(arity(father,2)), (u,u))) neg(arity(father,2)).
  83.  
  84. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  85. %                   succeed(user:must(repropagate(arity(father, _)))).
  86. %
  87. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  88. %            gripe_time(warn(5.759336050000002>0.5),
  89. %                     user:pfc_fwd2((neg(parent(X, Y))=>{vg(s(Y, X))}, neg(father(X, Y))), (clif(iff((parent(X, Y), male(X)), father(X, Y))), pt(clif(iff((parent(X, Y), male(X)), father(X, Y))), rhs([{clif_to_prolog(iff((parent(X, Y), male(X)), father(X, Y)), [ (father(X, Y)=>{vg(s(X))}, male(X)), (neg(male(X))<=neg(father(X, Y)), parent(X, Y), {vg(s(X))}), (neg(father(X, Y))<=neg(male(X)), {vg(s(X))}), (neg(parent(X, Y))=>{vg(s(Y, X))}, neg(father(X, Y))), (neg(parent(X, Y))<=neg(father(X, Y)), male(X), {vg(s(Y, X))}), (parent(X, Y), male(X)=>{vg(s(Y, X))}, father(X, Y)), (father(X, Y)=>{vg(s(Y, X))}, parent(X, Y))])}, [ (father(X, Y)=>{vg(s(X))}, male(X)), (neg(male(X))<=neg(father(X, Y)), parent(X, Y), {vg(s(X))}), (neg(father(X, Y))<=neg(male(X)), {vg(s(X))}), (neg(parent(X, Y))=>{vg(s(Y, X))}, neg(father(X, Y))), (neg(parent(X, Y))<=neg(father(X, Y)), male(X), {vg(s(Y, X))}), (parent(X, Y), male(X)=>{vg(s(Y, X))}, father(X, Y)), (father(X, Y)=>{vg(s(Y, X))}, parent(X, Y))], {sanity((clif_must iff((parent(X, Y), male(X)), father(X, Y))))}]))))).
  90. %
  91.  
  92.  
  93.  
  94. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  95. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  96. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  97. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  98. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  99. kif :-
  100.         all(X, all(Y, iff((parent(X, Y), male(X)), father(X, Y)))).
  101. %
  102. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  103. pkif :-
  104.         all(X, all(Y, (parent(X, Y)&male(X)<=>father(X, Y)))).
  105. %
  106. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  107. cnf :-
  108.         (father(X, Y)v (not(parent(X, Y))v not(male(X))))& ((not(father(X, Y))v parent(X, Y))& (not(father(X, Y))v male(X))).
  109. %
  110. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  111. horn :-
  112.  
  113.         [ (male(X):-father(X, Y)),
  114.           (not(male(X)):-not(father(X, Y)), parent(X, Y)),
  115.           (not(father(X, Y)):-not(male(X))),
  116.           (not(father(X, Y)):-not(parent(X, Y))),
  117.           (not(parent(X, Y)):-not(father(X, Y)), male(X)),
  118.           (father(X, Y):-parent(X, Y), male(X)),
  119.           (parent(X, Y):-father(X, Y))
  120.         ].
  121. %
  122. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  123. pfc :-
  124.  
  125.         [ (father(X, Y)=>{vg(s(X))}, male(X)),
  126.           (neg(male(X))<=neg(father(X, Y)), parent(X, Y), {vg(s(X))}),
  127.           (neg(father(X, Y))<=neg(male(X)), {vg(s(X))}),
  128.           (neg(parent(X, Y))=>{vg(s(Y, X))}, neg(father(X, Y))),
  129.           (neg(parent(X, Y))<=neg(father(X, Y)), male(X), {vg(s(Y, X))}),
  130.           (parent(X, Y), male(X)=>{vg(s(Y, X))}, father(X, Y)),
  131.           (father(X, Y)=>{vg(s(Y, X))}, parent(X, Y))
  132.         ].
  133. %
  134. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  135. %                    succeed(user:are_clauses_entailed([ (father(X, Y)=>{vg(s(X))}, male(X)), (neg(male(X))<=neg(father(X, Y)), parent(X, Y), {vg(s(X))}), (neg(father(X, Y))<=neg(male(X)), {vg(s(X))}), (neg(parent(X, Y))=>{vg(s(Y, X))}, neg(father(X, Y))), (neg(parent(X, Y))<=neg(father(X, Y)), male(X), {vg(s(Y, X))}), (parent(X, Y), male(X)=>{vg(s(Y, X))}, father(X, Y)), (father(X, Y)=>{vg(s(Y, X))}, parent(X, Y))])).
  136. %
  137. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  138. %                       succeed(user:must(repropagate(parent(_, _)))).
  139. %
  140. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  141. %    succeed(user:must(repropagate(father(_, _)))).
  142. %
  143. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  144. %        gripe_time(warn(7.052340909999998>0.5),
  145. %             user:pfc_fwd2(clif(iff((parent(X, Y), male(X)), father(X, Y))), (u, u))).
  146. %
  147. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  148. %       gripe_time(warn(7.055220751999997>0.6),
  149. %             user:pfc_assert_fast_timed(clif(iff((parent(X, Y), male(X)), father(X, Y))), (u, u))).
  150. %
  151. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:285
  152. %              succeed(user:must_det_l((show_interesting_cl(kif(fwc), iff((parent(A, B), male(A)), father(A, B))), kif_process(iff((parent(A, B), male(A)), father(A, B)))))).
  153. %
  154.  
  155.  
  156.  
  157. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  158. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  159. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  160. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  161. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:286
  162. kif :-
  163.         all(Ma,
  164.             all(X,
  165.                 all(Y,
  166.                     if((parent(Ma, X), parent(Ma, Y), different(X, Y)),
  167.                        siblings(X, Y))))).
  168. %
  169. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:286
  170. pkif :-
  171.         all(Ma,
  172.             all(X,
  173.                 all(Y,
  174.                     (parent(Ma, X)& (parent(Ma, Y)&different(X, Y))=>siblings(X, Y))))).
  175. %
  176. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:286
  177. cnf :-
  178.         siblings(X, Y)v (not(parent(Ma, X))v (not(parent(Ma, Y))v not(different(X, Y)))).
  179. %
  180. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:286
  181. horn :-
  182.  
  183.         [ (not(different(X, Y)):-not(siblings(X, Y)), parent(Ma, X), parent(Ma, Y)),
  184.           (not(parent(Ma, X)):-not(siblings(X, Y)), parent(Ma, Y), different(X, Y)),
  185.           (not(parent(Ma, Y)):-not(siblings(X, Y)), parent(Ma, X), different(X, Y)),
  186.           (siblings(X, Y):-parent(Ma, X), parent(Ma, Y), different(X, Y))
  187.         ].
  188. %
  189. % /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_clif.pl:286
  190. pfc :-
  191.  
  192.         [ (mudEquals(X, Y)<=neg(siblings(X, Y)), parent(Ma, X), parent(Ma, Y), {vg(s(Y, X))}),
  193.           (neg(parent(Ma, X))<=neg(siblings(X, Y)), parent(Ma, Y), {dif:dif(X, Y)}, {vg(s(X, Ma))}),
  194.           (neg(parent(Ma, Y))<=neg(siblings(X, Y)), parent(Ma, X), {dif:dif(X, Y)}, {vg(s(Y, Ma))}),
  195.           (parent(Ma, X), parent(Ma, Y), {dif:dif(X, Y)}=>{vg(s(Y, X))}, siblings(X, Y))
  196.         ].
  197. %
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!