序言重複輸入，直到

Question

我想創建一個謂詞，只接受來自用戶的特定輸入，並且如果用戶輸入錯誤，它將繼續詢問正確的輸入。 我創建了這一點，但它沒有完成，因爲它不要求新的輸入，如果其錯誤：

askchar(X):- write('give char'),nl, get_char(X), test(X). 

test(X):- X=a, write('ok'). %accepts a 
test(X):- X='1', write('ok'). %accepts 1 
test(X):- write('wrong input. try again'),nl. 

Answer 1

在缺乏一個像樣的尾遞歸優化系統，處理副作用，可以方便地與失敗的驅動循環中完成

1 ?- [user]. 
|: askchar(C) :- repeat, get(C), (C = 0'a ; C = 0'1, ! ; fail). 
% user://1 compiled 0.07 sec, 2 clauses 
true. 

2 ?- askchar(X). 
|: 5 
|: a 

X = 97 . 

Answer 2

這裏是我的了：

askChar(Char) :- get_char(Char), test(Char), write('This is the right char, thank you.'), !. 
askChar(Char) :- write('That is wrong char!'), askChar(Char).  

test(s). 

它一次又一次地問，直到炭s中鍵入。