如何在prolog中计算prolog中父母的孩子数量（不使用列表）？

Question

我有以下问题。我有一定数量的事实，例如： 父母（简，迪克）。 父母（迈克尔，迪克）。 我想要一个谓词，例如： 孩子数量（迈克尔，X） 所以如果我这样称呼它，它会显示 X=1。

我在网上搜索过，每个人都将孩子放入列表中，有没有办法不使用列表？

Answer 1

计算解决方案的数量需要一些额外的逻辑工具（它本质上是非单调的）。这是一个可能的解决方案：

:- dynamic count_solutions_store/1.

count_solutions(Goal, N) :-
    assert(count_solutions_store(0)),
    repeat,
    (   call(Goal),
        retract(count_solutions_store(SoFar)),
        Updated is SoFar + 1,
        assert(count_solutions_store(Updated)),
        fail
    ;   retract(count_solutions_store(T))
    ),
    !, N = T.

Answer 2

我只能看到两种方法来解决这个问题。

第一个似乎更容易，是将所有解决方案放在一个列表中并对其进行计数。我不确定您为什么不喜欢这个选项。您是否担心效率或其他问题？还是只是一个任务？

问题是，如果不使用像 setof/3 这样的元逻辑谓词，您将不得不允许 Prolog 以通常的方式绑定值。如果你让 Prolog 这样做，循环的唯一方法就是失败，就像这样：

numberofchildren(Person, N) :- parent(Person, _), N is N+1.

但这不会起作用；首先，您将得到参数未充分实例化。然后你要解决这个问题并得到这样的结果：

?- numberofchildren(michael, N)
N = 1 ;
N = 1 ;
N = 1 ;
no.

原因是，如果 Prolog 要逐一检查事实，则需要回溯，并且每次回溯时，它都会解除自上次选择以来绑定的任何内容观点。我知道跨过这个障碍传递数据的唯一方法是使用动态存储：

:- dynamic(numberofchildrensofar/1).

numberofchildren(Person, N) :- 
  asserta(numberofchildrensofar(0)), 
  numberofchildren1(Person), 
  numberofchildrensofar(N), !.

numberofchildren1(Person) :-
  parent(Person, _),
  retract(numberofchildrensofar(N)),
  N1 is N + 1,
  asserta(numberofchildrensofar(N1),
  !, fail.
numberofchildren1(_).

我还没有测试过这个，因为我认为它相当恶心，但如果不这样做，它可能会起作用。 :)

无论如何，如果可能的话，我强烈建议您选择列表选项。