序言 - 失敗; true

Question

我的代碼在這裏有一些問題。 比方說，我有一個知識基礎是這樣的：

university('University of Cambridge', 1, 'United Kingdom', 90.3, 92.8, 89.4). 
university('University of Oxford', 2, 'United Kingdom', 88.9, 94.8, 88.0). 
university('ETH Zurich - Swiss Federal Institute of Technology', 3, 'Switzerland', 86.4, 94.4, 92.2). 
university('University of Edinburgh', 4, 'United Kingdom', 83.7, 88.8, 83.6). 

然後我把它弄成這樣： （忽略checkC（國家）/ checkC（_））

checkC(Country):- 
    university(U, R, Country, _, _, _),nl, 
    write('University: '),write(U),nl, 
    write('Rank: '),write(R),nl, 
    write('Country: '),write(Country),nl, 
    fail; true, nl, 
    write('************'), nl,nl. 

checkC(_):- 
    write('Country not found'),nl,nl. 

我的問題是爲什麼如果用戶輸入一個不在知識庫內的隨機國家名稱，寫（'Country not found'）不會出來，我發現它跟失敗有關;真。

任何幫助？

Answer 1

雖然fail; true技巧是在命令行不錯，集聚多種解決方案通過謂詞findall，bagof和setof通常完成。

爲了方便閱讀，我使用了format。

checkC(X):- 
    findall([U,R,X], university(U,R,X,_,_,_), List), 
    (List = [] -> 
    write('Country not found\n\n'); 
    writeCountries(List)). 

writeCountries([]). 
writeCountries([X|R]):- 
    writeCountries(R), 
    format('University: ~w~nRank: ~w~nCountry: ~w~n~n',X). 

如果使用swipl，maplist就派上用場了：

checkC(X):- 
    findall([U,R,X], university(U,R,X,_,_,_), List), 
    (List = [] -> 
    write('Country not found\n\n'); 
    maplist(format('University: ~w~nRank: ~w~nCountry: ~w~n~n'),List)). 

如果你沒有format/2看，如果你有writef/2或printf/2。