在效率方面将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].