Prolog列表和过滤

Question

我对 Prolog 练习有疑问。我正在尝试独自在家学习计算机科学，并且正在做一系列从互联网上获取的练习。

问题如下；

构造一个名为filteringPairsAtoms/3 的谓词，以便给定一个原子（第一个参数）和一个对列表，通过仅选择具有第一个组件作为原子的对，将第三个参数与过滤后的对列表统一起来第一个参数。

例子

filteringPairsAtoms(sA,[[basA,absAb],[ab,bbsA],[sA,abbsB],[bsA,sAsB],[sA,bb]],X)  

必须导致

X = [[sA,abbsB],[sA,bb]]

我正在尝试解决它，但我没有人可以问，因为我是一个人学习，没有教授可以写信或其他什么。

欢迎任何帮助。

谢谢！！！

Answer 1

你可以从已有的开始：

filteringPairsAtoms(sA, [[basA,absAb],[ab,bbsA],[sA,abbsB],[bsA,sAsB],[sA,bb]], X) :-
    X = [[sA,abbsB],[sA,bb]].

这是一个很好的开始。但我们知道的更多：一定是这样的

filteringPairsAtoms(sA, [[sA,abbsB],[bsA,sAsB],[sA,bb]], X) :-
    X = [[sA,abbsB],[sA,bb]].

%% and
filteringPairsAtoms(sA, [[bsA,sAsB],[sA,bb]], X) :-
    X = [[sA,bb]].

%% and
filteringPairsAtoms(sA, [[sA,bb]], X) :-
    X = [[sA,bb]].

%% and
filteringPairsAtoms(sA, [], X) :-
    X = [].

比较顺序子句，我们也注意到它一定是

filteringPairsAtoms(sA, [[sA,abbsB] | [[bsA,sAsB],[sA,bb]] ], X) :-
    sA = sA,
    X = [[sA,abbsB] | Y],
    filteringPairsAtoms(sA, [[bsA,sAsB],[sA,bb]], Y).

（这只是上面的前两个子句，合并）；和

filteringPairsAtoms(sA, [[bsA,sAsB] | [[sA,bb]] ], X) :-
    dif( sA, bsA),
    X = Y,
    filteringPairsAtoms(sA, [[sA,bb]], Y).

剩下要做的就是概括，用逻辑变量替换具体术语。像这样：

filteringPairsAtoms(SA, [Head | Tail ], X) :-
    Head = [BsA, _]
    dif( SA, BsA),
    X = Y,
    filteringPairsAtoms(SA, Tail, Y).

并将其完全执行到最后。