prolog中如何在CYK表上生产产品？答案

【问题标题】：How to produce products on the CYK table in prolog?prolog中如何在CYK表上生产产品？
【发布时间】：2018-03-01 13:18:16
【问题描述】：

我们正在使用 CYK 表形成的概念在 Prolog 上生成这些结果。以下是 product_c(+Cell1, +Cell2, -Product) 的一些示例输出：

?- product_c(["A","B"],["C","D"],What).
What = ["AC", "AD", "BC", "BD"].
?- product_c(["A"],[],What).
What = [].

我尝试过使用 string_concat，但结果如下：

What = ["A", "B", "C", "D"].

我不确定如何解决这个问题。非常感谢任何帮助。

【问题讨论】：

你能展示你写的代码吗？还有一些示例查询/预期结果？
这就是我所做的：product_c(Cell1,Cell2,Product) :- append(Cell1, Cell2, Product)。更正：我使用了 append NOT string_concat。我得到 What = ["A", "B", "C", "D"] 而不是 What = ["AC", "AD", "BC", "BD"] 的预期结果。跨度>

标签： prolog cyk

【解决方案1】：

你在这里弄混了类型。最快的解决方法是从这里Cartesian prod 获取笛卡尔积，然后连接结果列表。

list_List_CartProd(L1,L2,L3):- 
     cartProd(L1,L2,L3,L1).

cartProd(_, [], [], _).

cartProd([], [_|T2], L3, L4):-
    cartProd(L4, T2, L3, L4).

cartProd([H1|T1], [H2|T2], [[H1,H2]|T3], L4):-
    cartProd(T1, [H2|T2], T3, L4).

list_concatEl([],[]).
list_concatEl([X|Xs],[Y|Ys]) :-
    X=[X1,X2],
    string_concat(X1,X2,Y),
    list_concatEl(Xs,Ys).

product_c(L1,L2,L4) :-
    list_List_CartProd(L1,L2,L3),
    list_concatEl(L3,L4).

如果我们现在用您的案例进行测试，我们会得到：

?- product_c(["A","B"],["C","D"],What).
What = ["AC", "BC", "AD", "BD"] ;
false.

?- product_c(["A"],[],What). 
What = [] ;
false.

【讨论】：

@repeat Thx 提一下，我忘了在 Prolog 谓词中以小写字母开头，而变量以大写或下划线开头。碰巧，因为我在测试时为谓词使用了不同的名称，并试图更改它们以进行澄清。无论如何在上面编辑它。

【解决方案2】：

所以你可以这样解决这个问题：

list_pairs(List1, List2,String) :-
    List1 = ["A","B"],
    List2 = ["C","D"],
    findall([X,Y], (member(X, List1), member(Y, List2)), Pairs),
    pairToString(Pairs,String).

pairToString([],[]).
pairToString([[X,Y]|T],[H1|T1]):-
    atomic_list_concat([X,Y], '', Atom),
    atom_string(Atom, H1),
    pairToString(T,T1).

因此，使用findall/3，您可以获得两个列表的所有组合 (Pairs = [["A", "C"], ["A", "D"], ["B", "C"], ["B", "D"]])。要将其转换为字符串列表，我写了pairToString/2。

?- list_pairs(List1, List2, Pairs).
List1 = ["A", "B"],
List2 = ["C", "D"],
Pairs = ["AC", "AD", "BC", "BD"]

【讨论】：