序言简化

Question

谁能告诉我是否有更简单的方法可以在 Prolog 中编写此代码，我需要缩小范围以使其更紧凑。

这是我目前所拥有的：

add(X,[],[X]).
add(X,[A|L],[A|L1]) :-
    add(X,L,L1).

head([X|_], X).

exist(X,Y,A,B) :-
    between(1, 8, X),
    between(1, 8, Y),
    between(1,8,A),
    between(1, 8, B).

exist(X/Y, A/B) :-
    exist(X,Y,A,B).

Answer 1

首先，删除head/2。 Prolog 的模式匹配比这更短更易读。

第二，你想用add/3做什么？在我看来，它所要做的就是给你第二个列表的最后一个元素，如果它们碰巧有完全相同的元素，除了第二个有一个。换句话说，唯一成功的统一看起来像add(Z, [A,B,...,Y], [A,B...Y,Z])，我很难想象你可能需要它的场景。

在exist/4 中修正第 3 行的间距！为你的工作感到自豪！ exist/4 将为您生成从 1-8 中选择的 4 个变量的所有排列。看起来不错，不知道为什么需要它。

exist/2 只是重新格式化exist/4 使其看起来像分数。同样，不确定您为什么需要它。

你想用这段代码做什么？这看起来像是一堆奇怪且不相关的实用程序。