Prolog原子列表

时间:2014-02-09 21:10:46

标签: list prolog visual-prolog

如何转换

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

到这些元素的列表?

结果:

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

2 个答案:

答案 0 :(得分:3)

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

=..是一个方便的谓词,它将左侧的谓词转换为一个列表,其中谓词名称为第一个成员,其参数为后者成员。或左侧谓词右侧的列表。这里fact表示它仅列出名为' fact'的谓词。

答案 1 :(得分:0)

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