如何让Prolog在用户尝试回溯时返回false？代码调试求助

我想要编写一个Prolog程序，使其在用户尝试回溯（输入;）时输出false。目前的代码无法达到预期效果，请求帮忙解决。

原代码 #

likes(john, pizza).
likes(john, pasta).

% Predicate to track backtracking
:- dynamic(backtrack_attempted/0).

% Reset backtrack flag
reset_backtrack_flag :-
    retractall(backtrack_attempted).

% Set backtrack flag
set_backtrack_flag :-
    assert(backtrack_attempted).

likes_food(Person, Food) :-
    % Reset backtrack flag before each query
    reset_backtrack_flag,
    % Attempt to find a solution
    likes(Person, Food),
    % Set the backtrack flag after finding a solution
    set_backtrack_flag.

likes_food(_, _) :-
    % If backtracking is attempted, fail
    backtrack_attempted,
    !, fail.

% If no solution is found, fail
likes_food(_, _).

期望执行结果 #

?- likes_food(john, X).
X = pizza ;
false.

实际执行结果 #

?- likes_food(john, X).
X = pizza ;
X = pasta.

问题分析 #

原代码的核心问题在于：

• 第一个likes_food子句每次被调用（包括回溯时）都会执行reset_backtrack_flag，导致回溯时backtrack_attempted标记被重置，无法触发第二个子句的失败逻辑。
• 最后一个无约束的likes_food(_, _)子句会在所有前置条件失败时成功匹配，可能返回无意义的变量绑定。

解决方案 #

调整逻辑，确保标记仅在首次查询时初始化，同时切断原likes谓词的后续选择点，让回溯直接进入失败分支：

likes(john, pizza).
likes(john, pasta).

:- dynamic(has_found_solution/0).

likes_food(Person, Food) :-
    % 仅在首次调用时重置标记
    retractall(has_found_solution),
    % 找到第一个解后断言标记，并切断后续选择点
    likes(Person, Food),
    assert(has_found_solution),
    !.

% 回溯时检测到已有解，直接失败返回false
likes_food(_, _) :-
    has_found_solution,
    !, fail.

测试结果 #

?- likes_food(john, X).
X = pizza ;
false.

如果查询无匹配解的场景（比如likes_food(john, sushi)），代码会直接返回false，符合预期。

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