Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ?- nl,nl,nl,print_term((
- pkif :-
- [ impliadsdasdes,
- [ isa(F, tPred),
- isa(A, ftInt),
- poss(KB, POS([arity(F, A)])),
- poss(KB, arity(F, A))
- ],
- =>,
- [ all[F],
- [ implies,
- [isa(F, tPred), ex[A], isa(A, ftInt), poss(KB, arity(F, A))],
- =>,
- [ex[A], [isa(A, ftInt), arity(F, A)]]
- ]
- ]
- ])).
- pkif :- [ impliadsdasdes,
- [ isa(A,tPred),
- isa(B,ftInt),
- poss(C,POS([arity(A,B)])),
- poss(C,arity(A,B))
- ],
- =>,
- [ all [A],
- [ implies,
- [ isa(A,tPred),
- ex [B],
- isa(B,ftInt),
- poss(C,arity(A,B))
- ],
- =>,
- [ex[B],[isa(B,ftInt),arity(A,B)]]
- ]
- ]
- ]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement