-1

我的代码在这里有一些问题。假设我有一个这样的知识库：

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(Country)/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.

我的问题是，为什么如果用户输入一个不在知识库中的随机国家名称，write('Country not found')不会出来，我发现它与失败有关；真的。

有什么帮助吗？

4

1 回答 1

2

虽然这个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。

于 2014-12-04T17:38:58.693 回答