如何显示解决方案？

Question

我正在尝试创建一个显示问题解决方案的程序，我需要一种方法来显示它创建的解决方案。我有两个可以用来解决问题的操作，它们被称为重要的顺序。

test(a) :- write('use a '). 
test(b) :- write('use b '), fail. 

test(c) :- test(a), test(b), test(a). 
test(c) :- test(a), test(a). 

请注意这是一个例子，不应该从字面上理解。将测试（a）和测试（b）视为操作和测试（c）作为检查哪个订单有效的功能。

现在test(c).将打印甚至失败的。导致输出“使用用户使用用户”。

Answer 1

您的问题似乎是assertz/retract的合法呼叫。

这些建宏允许跟踪时间顺序，并存储任意Prolog的条款，那么你可以写

:- dynamic results/2. 

test(a) :- a_code(Result), assertz(results(a, Result)). 
test(b) :- b_code(Result), assertz(results(b, Result)). 

test(c) :- test(a), test(b), test(a). 
test(c) :- test(a), test(a). 

check_results :- forall(retract(Name, Result), writeln(Name = Result)). 

如果你想跟踪失败执行，你可以扩展架构：

test(a) :- a_code(Result) -> assertz(results(ok(a), Result)) ; assertz(results(ko(a), _)). 
test(b) :- b_code(Result) -> assertz(results(ok(b), Result)) ; assertz(results(ko(b), _)). 

Answer 2

不要使用副作用，请考虑使用描述目标列表的DCG。你举的例子可以很容易地变成了DCG有一些机械改写步骤，例如：

test(a) --> ['use a']. 
test(b) --> ['use b'], { false }. 

test(c) --> test(a), test(b), test(a). 
test(c) --> test(a), test(a). 

然后你就可以查询：

?- phrase(test(c), Ls). 
Ls = ['use a', 'use a']. 

当你有这样的列表Ls，你可以随便写它以任何你想要的方式。但请注意，顶层已经以有用的方式打印每个解决方案，并且自己可能没有理由这样做。