prolog - 如何在序言中为 MT 进行树转移

Question

我需要找到一种方法以不同的顺序将解析树转移到另一个解析树。
它适用于具有 SVO 和 SOV 架构的两种语言的机器翻译项目。

t1 = s(np(n(he)), vp( v(went), np(n(home))))

我希望它是

t2 = s(np(n(he)), vp( np(n(home)), v(went)))

根据一个规则，t1 代表 SVO 语言，t2 代表 SOV 语言架构。

并且规则集应该适用于带有形容词和副词的复杂句子。

t1 = s(np(n(he)), vp( v(went), np(adj(his), n(home))))

t2 = s(np(n(he)), vp( np(adj(his), n(home)), v(went)))

任何评论都会有用

谢谢马西

Answer 1

更简单的方法是声明要完成的任何转换，通过模式匹配，以及递归地处理任何模式的通用规则:

% specialize for VP
transfer(vp(X,Y), vp(V,U)) :- !,
    transfer(X,U), transfer(Y,V).

% generic rule, work out arguments
transfer(X, Y) :-
    X =.. [F|Xs],
    maplist(transfer, Xs, Ys),
    Y =.. [F|Ys].

如果您需要您的程序能够双向工作，请检查通用规则中的变量实例化

transfer(X, Y) :-
    nonvar(X), !, X =.. [F|Xs],
    maplist(transfer, Xs, Ys),
    Y =.. [F|Ys].
transfer(X, Y) :-
    Y =.. [F|Ys],
    maplist(transfer, Xs, Ys),
    X =.. [F|Xs].

产量(例如)

?- transfer(s(np(n(he)), vp( v(went), np(adj(his), n(home)))),T2).
T2 = s(np(n(he)), vp(np(adj(his), n(home)), v(went))).

?- transfer(T1,$T2).
T1 = s(np(n(he)), vp(v(went), np(adj(his), n(home)))).