>>575 せっかくシンプルなPrologの文法が複雑になってしまう。
しかし、
>>570 の例は特殊なものであって、それに該当しないが、
指定された引数が束縛されていない時に待ち合わせる
遅延評価はどうしても欲しい。
どんな指定の仕方をすれば(記法上)シンプルさを失わずこれが
可能になるか、もう一度議論して欲しいと思う。
1980年代前半に中島秀之氏が提案していた{項記述}という拡張が
参考になるように思う。