$ cat rulewithin.pl
stone(1, 2).
stone(2, 2).
mike(stone(A,A)).


# session
$ swipl

?- [rulewithin].
true.

?- stone(1, 2).
true.

?- stone(22,22).
false.

?- mike(stone(1, 2)).
false.

?- mike(stone(2, 2)).
true.

?- mike(stone(3, 3)).
true.