このディレクトリの索引

% テスト述語を一引数述語にまとめた場合の例。

適切なデータを得るまで入力を得る(_テスト述語,_入力行) :-
        get_line(_入力行),
        functor(Q,_テスト述語,1),
        arg(1,Q,_入力行),
        call(Q),!.
適切なデータを得るまで入力を得る(_テスト述語,_入力行) :-
        write('入力条件に反するデータが入力されました。再入力してください : '),
        適切なデータを得るまで入力を得る(_テスト述語,_入力行).