speaks(allen, russian). speaks(bob, english). speaks(mary, russian). speaks(mary, english). talkswith(Person1, Person2) :-speaks(Person1, L), speaks(Person2, L), Person1 \= Person2.