list - Prolog 原子列表

Question

如何转换这个

fact( [a,b,c], [d,e,f], ..., [p, q, r] )

这些元素的列表？

结果：

[[a,b,c], [d,e,f], ..., [p, q, r]]

Answer 1

list_fact_args(Fact,List) :- Fact =.. [fact|List].

=.. is a handy predicate that transforms the predicate on the left to a list with predicate name as the first member and its arguments as the latter members. Or a list on a right to the predicate on the left. Here fact denotes that it lists only the predicates named 'fact'.

Answer 2

获取您的 Prolog 手册或教科书并查找 =.. / 2。