Home › フォーラム › AZ-Prologサポート掲示板 › _ ←自由変数が表示されないようにするには。 › 返信先: _ ←自由変数が表示されないようにするには。
2016/11/03 12:33 AM
#58479
稲葉
ゲスト
戸籍(A,B):- 戸籍(A,_,B,_,_).
と定義して
?-戸籍(Name,上間朝盛).
で如何でしょう。
TopLevelの仕様はセミコロン入力による強制バックトラックによって
おのおのの引数がどういう束縛になったかなどのデバッグのための情報も
兼ねますから現行の仕様が有意だと考えています。
トレースをとったとき、虚変数であってもなんらかの束縛がされるわけです
から、これの表示がされます。TopLevelもその延長にあります。