稲葉さま
ありがとうございました。

＞＞稲葉さん：： 記号連続の述語として扱われてしまいますのでご注意ください。

\+ も試していたのですが、

プロンプトにつなげて実行していたので、この述語は定義されていないな〜〜と勘違いしていました。