prolog - 在 Prolog 中将列表转换为术语

Question

将 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).

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

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

Answer 1

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

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