home *** CD-ROM | disk | FTP | other *** search
/ ARM Club 3 / TheARMClub_PDCD3.iso / hensa / programming / huprolog_1 / Guide / Extras / memberboth < prev    next >
Encoding:
Text File  |  1990-10-24  |  200 b   |  12 lines
  1.  
  2.  
  3. member_both(H,[H|P],[H|Q]).
  4.  
  5. member_both(H,[H|P],[_|QQ]) :-
  6.      member(H,QQ).
  7.     
  8. member_both(H,[_|PP],[H|Q]) :-
  9.      member(H,PP).
  10.  
  11. member_both(H,[_|PP],[_|QQ]) :-
  12.      member(H,PP),member(H,QQ).