Advertisement
logicmoo

Untitled

Aug 2nd, 2015
374
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. ?- nl,nl,nl,print_term((
  2. pkif :-
  3.  
  4.         [ impliadsdasdes,
  5.  
  6.           [ isa(F, tPred),
  7.             isa(A, ftInt),
  8.             poss(KB, POS([arity(F, A)])),
  9.             poss(KB, arity(F, A))
  10.           ],
  11.           =>,
  12.  
  13.           [ all[F],
  14.  
  15.             [ implies,
  16.               [isa(F, tPred), ex[A], isa(A, ftInt), poss(KB, arity(F, A))],
  17.               =>,
  18.               [ex[A], [isa(A, ftInt), arity(F, A)]]
  19.             ]
  20.           ]
  21.         ])).
  22.  
  23.  
  24.  
  25. pkif :- [ impliadsdasdes,
  26.   [ isa(A,tPred),
  27.     isa(B,ftInt),
  28.     poss(C,POS([arity(A,B)])),
  29.     poss(C,arity(A,B))
  30.   ],
  31.   =>,
  32.   [ all [A],
  33.     [ implies,
  34.       [ isa(A,tPred),
  35.         ex [B],
  36.         isa(B,ftInt),
  37.         poss(C,arity(A,B))
  38.       ],
  39.       =>,
  40.       [ex[B],[isa(B,ftInt),arity(A,B)]]
  41.     ]
  42.   ]
  43. ]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement