命令行运行Prolog目标无true/false输出及输出控制问题

一、直接命令行执行目标并输出true/false #

默认情况下，SWI-Prolog在非交互模式（通过-g指定目标、-t halt终止）下，成功的目标不会自动打印true，失败时也不会输出false。可以通过以下两种方式解决：

方法1：调整命令行参数 #

修改执行命令，手动指定成功时的输出逻辑：

swipl -s prob4.pl -g 'f(0,1)' -t 'write(true), nl, halt' -q

如果目标执行失败，会自动输出false；成功则执行write(true), nl后终止程序。

方法2：编写通用包装谓词 #

在代码中添加一个通用的结果报告谓词：

run_and_report(Goal) :-
    call(Goal), !, writeln(true).
run_and_report(_) :-
    writeln(false).

然后通过命令行调用这个谓词：

swipl -s prob4.pl -g 'run_and_report(f(0,1))' -t halt

无论目标成功或失败，都会输出对应的标识。

二、修正你编写的代码问题 #

你当前的代码会重复执行problem(3)两次（print_true和print_false各执行一次），导致输出重复的内容，同时无法单独控制只输出成功或失败标识。可以按需求修改：

需求1：执行目标后，输出成功/失败标识（保留目标自身输出） #

如果要执行problem(3)的打印逻辑，同时在执行完成后输出它是否成功，修改代码如下：

problem(1):- write(1).
problem(N):-N>1, write(N), nl, M is N-1, problem(M).

run_and_report(Goal) :-
    (call(Goal) -> writeln(true) ; writeln(false)),
    halt.

main :-
    run_and_report(problem(3)).

命令行执行：

swipl -s prob4.pl -g main

输出结果：

3
2
1
true

需求2：仅判断目标是否成功，不触发目标中的write操作 #

如果只是想验证problem(3)的逻辑是否成立，不想执行它的打印副作用，可以拆分逻辑与打印代码：

% 纯逻辑部分，无输出副作用
problem_logic(1).
problem_logic(N):-N>1, M is N-1, problem_logic(M).

% 独立的打印部分
print_problem(1):- write(1).
print_problem(N):-N>1, write(N), nl, M is N-1, print_problem(M).

run_and_report(LogicGoal, PrintGoal) :-
    (call(LogicGoal) -> 
        call(PrintGoal), % 可选：成功时才执行打印
        writeln(true) 
    ; 
        writeln(false)
    ),
    halt.

main :-
    run_and_report(problem_logic(3), print_problem(3)).

这样可以灵活控制是否执行打印，同时准确判断目标逻辑的成功状态。

原代码重复输出的原因 #

你的print_true(F)使用forall(F, writeln(true))，会先执行F（即problem(3)）再输出true；print_false(F)中的\+ F会再次尝试执行F，如果失败才输出false。main中调用两个谓词，导致problem(3)被执行两次，因此输出两次3、2、1。

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