Prolog

問． 以下のプログラムについて，述語 go/0 の呼び出しが次の処理系の全部で成功するように，プログラムの先頭に適切なコードを追加しなさい．なお，プログラムの読み込み時または実行時にエラーが発生しないようにすること．また，foo/1，bar/1，go/0 の定義および節の順番を変更してはならない．
Ciao，GNU Prolog，SWI-Prolog，XSB，YAP

foo(x).
bar(y).
foo(z).

go :- findall(X,foo(X),Xs), Xs == [x,z].

答えは後日．