>>25
なるほど、そう書くと自由なままとして渡せるんですね
Prolog難しいけど面白いですね

これって、述語部だけ取り出して、引数一部だけ束縛、またはフリーにして渡す事ってできますか?
できるなら、再帰でかなり複雑なパターンマッチもできそう