answer-set-programming - 列表应该如何在 ASP(答案集编程)中表示？

Question

处理器“a”处理消息“a_b_c_d”的 header “a”并将有效负载“b_c_d”传递给下一级的另一个处理器，如下所示:

msg(a, b_c_d).
pro(a;b;c;d).

msg(b, c_d) :- pro(X), msg(X, b_c_d).
msg(c, d)   :- pro(X), msg(X, c_d).
msg(d)      :- pro(X), msg(X, d).

#hide. #show msg/2. #show msg/1.

我应该如何在 ASP 中表示列表 'a_b_c_d'，并将上面的更改为一般情况？

Answer 1

不，官方方式，但我认为大多数人都没有意识到您可以在 ASP 中构建cons-cells。例如，下面是如何从元素 1..6 获取所有长度为 5 的列表的项目

element(1..6).
listLen(empty, 0).
listLen(cons(E, L), K + 1) :- element(E); listLen(L, K); K < 5.
is5List(L) :- listLen(L, 5).

#show is5List/1.

导致

is5List(cons(1,cons(1,cons(1,cons(1,cons(1,empty))))))
is5List(cons(1,cons(1,cons(1,cons(1,cons(2,empty))))))
is5List(cons(1,cons(1,cons(1,cons(1,cons(3,empty))))))

...