＞＿自由変数も表示されます。それは仕様ですか？

はい。AZ-Prologではトップレベルの虚変数（”＿”のみの変数名）の場合、
その引数に何が束縛されたかも表示される仕様です。
そのさい、どの位置の虚変数がなにに該当するか変数名だけでは識別が
できないため、虚変数の出現順に昇順の番号を便宜的に付与しています。