列表成员实例化时不传播约束

Question

我正在为日期和时间构建一个解析器和生成器。在普通的编程语言中，这些将被单独编写。在 Prolog+CLP(FD) 中，我可以编写 1 个谓词同时执行这两项操作 :-)

在我的用例中，解析多个数字并将其转换为整数，或者根据给定整数生成多个数字通常是有意义的。

我的问题是，尽管我使用 clpfd:init_propagator/2 声明，但在实例化单个数字时未调用 clpfd:run_propagator/2。有没有办法做到这一点，或者我在 clpfd_digits/2 的定义中犯了错误？

在 SWI-Prolog 中实现的代码：

:- use_module(library(apply)).
:- use_module(library(clpfd)).

:- multifile(clpfd:run_propagator/2).

day(D) --> {clpfd_digits(D, [D1,D2])}, digit(D1), digit(D2).

digit(D) --> [C], {code_type(C, digit(D))}.

clpfd_digits(N, Ds):-
  clpfd:make_propagator(clpfd_digits(N, Ds), Prop),
  clpfd:init_propagator(N, Prop),
  clpfd:init_propagator(Ds, Prop),
  forall(
    member(D, Ds),
    clpfd:init_propagator(D, Prop)
  ),
  clpfd:trigger_once(Prop).

clpfd:run_propagator(clpfd_digits(N, Ds), MState):-
  (   maplist(is_digit0, Ds)
  ->  clpfd:kill(MState),
      digits_to_nonneg(Ds, N)
  ;   integer(N)
  ->  clpfd:kill(MState),
      nonneg_to_digits(N, Ds)
  ;   true
  ).

digits_to_nonneg([], 0):- !.
digits_to_nonneg(Ds, N):-
  maplist(char_weight, Chars, Ds),
  number_chars(N, Chars).

char_weight(Char, D):-
  char_type(Char, digit(D)).

nonneg_to_digits(0, []):- !.
nonneg_to_digits(N, Ds):-
  atom_chars(N, Chars),
  maplist(char_weight, Chars, Ds).

is_digit0(D):- integer(D), between(0, 9, D).

使用示例：

?- string_codes("12", Cs), phrase(day(D), Cs).
Cs = [49, 50],
clpfd_digits(D, [1, 2]).

如您所见，未计算约束以导出 D 的值。

Answer 1

+1 表示为此任务使用了 CLP(FD) 约束！

forall/2 和约束不能很好地混合，因为回溯会撤销发布的约束。

您的示例按预期工作：

flip_init(Prop, D) :- clpfd:init_propagator(D, Prop).

并使用 maplist(flip_init(Prop), Ds) 而不是 forall/2。

下一个问题是 digits_to_nonneg([1,2], N) 简单地失败了，但这与实际的约束触发无关，正如预期的那样。（顺便说一句：使用约束，您也许可以简化代码，以便可以在两个方向上使用单个谓词。）

此外，您可以使用 in/2 代替 between/3：D in 0..9。如果您想将其用作约束而不只是测试，这通常很有用。

列表成员实例化时不传播约束

Constraint not propagated upon instantiation of list members

parsing

prolog

clpfd