Prologを初めて使っているのですが、意図する動作を作れなくて困っています。

ある数式がリストに含まれているか否かを調べたいのですが、組み込みのmemberだと単一化が起こってしまします。
リストの中身が変わると困るので、単一化されないほうが望ましいのですが、実装方法がわかりません。

A=[B/c],member(b/c,A).

組み込みmemberだと、

A = [b/c],
B = b .

となります。望む動作としては

A = [B/c].

つまり、「成功しても失敗してもリストの中身は変わらず、リストに含まれていれば成功する」、
このように動作するmemberの作り方をご存じの方がいらっしゃいましたら教えてください。

swi-prolog 5.6.59