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

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

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

有帮助吗?

解决方案

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

list_to_term(List, Functor, Term) :-
    Term =.. [Functor | List].
许可以下: CC-BY-SA归因
不隶属于 StackOverflow
scroll top