prolog - GNU Prolog - 乘法表

Question

我有这个:

:- dynamic(times/3).
mult :- mult([0,1,2,3,4,5,6,7,8,9]).
mult(Num) :-
    append(L1,[X|R1],Num),
        append(L2,[Y|R2],Num),
            Prod is X*Y,
            assertz(times(X,Y,Prod)),fail.

有一个更好的方法吗。用 times(X,Y,XY) 事实创建一个乘法表。

虽然这确实有效，但我想知道是否有办法做到这一点而不会失败，因为当我没有失败时，它只是想出了真的？更多答案。我只是希望它无需询问即可完成所有答案。

Answer 1

向 添加最后一个“失败”子句多/1 总是成功的，例如多(_)。

您调用 多/1 然后将成功构建乘法表并成功，允许您在它之后提出进一步的子目标。

对我来说，对 进行编码似乎更自然。多/1 谓词使用 成员(member)/2 而不是 追加/3 ，但有这么短的 list ，可能不会浪费很多时间。