序言对列表

Question

我有一个对列表的输入：

[[abs_(p,X,Y,Z),abs_(f,X,Y,Z)],[abs_(p,X,Y,Z),abs_(l,Z,P)]]

我想检查一对是否具有相同数量的参数，在这种情况下是：

[abs_(p,X,Y,Z),abs_(f,X,Y,Z)]

在第二种情况下答案是否定的。

这只是一个示例，因为更一般地说，我想知道哪对具有相同数量的参数。输入的输出应该是：

[[abs_(p,X,Y,Z),abs_(f,X,Y,Z)]

我必须做什么？

Answer 1

您还可以使用模式匹配将每对分解为术语，并使用函子谓词检查这些术语的数量。

Answer 2

run( [], Tail) :- Tail=[].
run( [ [First,Second] | Tail ], Output ) :- First =.. List1, Second =.. List2, 
length(List1,N1), length(List2, N2), N2 is N1, !, run(Tail, Tail2), 
append( [ [First | [Second]] ], Tail2, Output ). 
run( [H|T], Output ) :- run(T, Output).

第一条规则是基本情况。第二条规则检查第一对中的参数数量（如果相同）运行递归调用并将递归调用的输出附加到输出。因为如果 N2 等于 N1，则不会调用第三条规则。第三条规则丢弃不匹配的对并用列表的尾部调用自身。希望有帮助。

Answer 3

Prolog 提供了一个奇怪的中缀运算符 =.. ，称为“univ”，它在复合术语和以函子开头的列表之间进行转换，后跟该函子的参数。

因此，Prolog 查询如下所示：

?- abs_(p,X,Y,Z) =.. L.
L = [abs_,p,X,Y,Z]
yes

因此，我将在“univ”运算符生成的列表上使用 length/2 来检查两个复合术语是否具有相同数量的参数。