将列表转换为Prolog中的术语

时间:2009-03-04 21:47:42

标签: prolog

将Prolog列表转换为Prolog术语(不是列表)的最佳方法是什么? 效率,并尽可能使用现有的内置谓词?

接口和用法示例如下。

%% list_to_term(+List:list, +Functor:atom, -Term:term)
%
% Usage:
%
% ?- list_to_term([], myfunctor, Term).
% Term = myfunctor.
%
% ?- list_to_term([a, b, [c], D, 2], myfunctor, Term).
% Term = myfunctor(a, b, [c], D, 2).

即。给定的列表(实际上是一个嵌套的术语)被展平 具有给定名称的术语。

我并不是说这样做是有意义的。 (但如果您认为确实如此,请在答案中提供一个用例。)

1 个答案:

答案 0 :(得分:8)

您需要使用=..运算符,如下所示:

list_to_term(List, Functor, Term) :-
    Term =.. [Functor | List].