Advertisement
logicmoo

Untitled

May 16th, 2017
240
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 0.29 KB | None | 0 0
  1. {?P rdfs:subPropertyOf ?R. ?S ?P ?O} => {?S ?R ?O}.
  2. (:jema :loves :john}.
  3. (:likeAsFriend subPropertyOf :loves)
  4. {:jema :likesAsFriend :sue}.
  5. {:jema :likesAsFriend :man1}.
  6. {:jema :likesAsFriend :man2}.
  7. {:jema :likesAsFriend :man3}.
  8. # add 1000 more men
  9.  
  10. # now query
  11. {?Who :LikeAsFriend :john}.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement