Prolog图书管理程序异常：选择5时触发无效选择提示

核心原因 #

这是Prolog的回溯特性导致的：输入选项5后，程序先匹配到处理"查看已借图书"的子句并执行显示逻辑，但执行完成后，Prolog会继续回溯尝试匹配其他子句。而你编写的eseguiScelta(Utente, _)是一个通用匹配子句（第二个参数为通配符_），因此会被触发，输出错误提示。

解决方法 #

有两种常见修复方式：

1. 添加切断符（!）阻止回溯
   在处理选项5的子句末尾加上!，告知Prolog执行完该子句后停止回溯，不再尝试匹配其他子句：

eseguiScelta(Utente, 5) :-
    % 此处为你的查看已借图书逻辑代码
    write('已借图书内容...'), nl,
    menu(Utente),
    !. % 添加切断符终止回溯

eseguiScelta(Utente, _) :-
    write('Scelta non valida. Riprova.'), nl,
    menu(Utente).

2. 调整子句顺序，明确匹配范围
   将所有合法选项的子句放在通用非法选项子句之前，且确保合法子句的第二个参数为具体值而非通配符。这样Prolog仅在未匹配到任何合法选项时，才会执行错误提示：

% 先定义所有合法选项的处理子句
eseguiScelta(Utente, 1) :- ... . % 借阅图书逻辑
eseguiScelta(Utente, 2) :- ... . % 其他功能逻辑
...
eseguiScelta(Utente, 5) :- ... . % 查看已借图书逻辑

% 最后定义非法选项的处理子句
eseguiScelta(Utente, _) :-
    write('Scelta non valida. Riprova.'), nl,
    menu(Utente).

额外说明 #

如果合法选项子句存在执行失败的可能（比如某些条件不满足时会触发回溯），建议优先使用切断符，或在子句内部处理失败逻辑，避免误触发通用错误子句。

内容的提问来源于stack exchange，提问作者Carlo27