Prolog中的CHR解决方案输出
CHR solution output in Prolog
我是 运行 SWI-Prolog 中的教科书 CHR 程序。
:- use_module(library(chr)).
:- chr_constraint fib/2.
f0 @ fib(0,M) ==> M=1.
f1 @ fib(1,M) ==> M=1.
fn @ fib(N,M) ==> N>=2 | N1 is N-1, fib(N1,M1), N2 is N-2, fib(N2,M2), M is M1+M2.
一切正常，但我不明白为什么输出这么长
?- fib(3,A).
A = 3,
fib(1, 1),
fib(0, 1),
fib(1, 1),
fib(2, 2),
fib(3, 3).
谁不只有A=3？我可以禁用其余的吗？对于更大的值来说真的很不方便...
不得不在源代码中寻找解决方案，但您可以通过将标志设置为 false 来关闭它：
?- set_prolog_flag(chr_toplevel_show_store, false).
true.
?- fib(3, A).
A = 3.
在 .swiplrc 中设置标志不起作用，需要在导入模块后完成，因此您可以将其包含在源代码中：
:- use_module(library(chr)).
:- set_prolog_flag(chr_toplevel_show_store, false).
:- chr_constraint fib/2.
f0 @ fib(0,M) ==> M=1.
f1 @ fib(1,M) ==> M=1.
fn @ fib(N,M) ==> N>=2 | N1 is N-1, fib(N1,M1), N2 is N-2, fib(N2,M2), M is M1+M2.
我是 运行 SWI-Prolog 中的教科书 CHR 程序。
:- use_module(library(chr)).
:- chr_constraint fib/2.
f0 @ fib(0,M) ==> M=1.
f1 @ fib(1,M) ==> M=1.
fn @ fib(N,M) ==> N>=2 | N1 is N-1, fib(N1,M1), N2 is N-2, fib(N2,M2), M is M1+M2.
一切正常，但我不明白为什么输出这么长
?- fib(3,A).
A = 3,
fib(1, 1),
fib(0, 1),
fib(1, 1),
fib(2, 2),
fib(3, 3).
谁不只有A=3？我可以禁用其余的吗？对于更大的值来说真的很不方便...
不得不在源代码中寻找解决方案，但您可以通过将标志设置为 false 来关闭它：
?- set_prolog_flag(chr_toplevel_show_store, false).
true.
?- fib(3, A).
A = 3.
在 .swiplrc 中设置标志不起作用，需要在导入模块后完成，因此您可以将其包含在源代码中：
:- use_module(library(chr)).
:- set_prolog_flag(chr_toplevel_show_store, false).
:- chr_constraint fib/2.
f0 @ fib(0,M) ==> M=1.
f1 @ fib(1,M) ==> M=1.
fn @ fib(N,M) ==> N>=2 | N1 is N-1, fib(N1,M1), N2 is N-2, fib(N2,M2), M is M1+M2.