Прологе список атомов

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]. 

=.. представляет собой удобный предикат, который преобразует предикат слева в списке с именем предиката в качестве первого члена и его аргументами в качестве последних членов. Или список справа от предиката слева. Здесь fact обозначает, что в нем перечислены только предикаты с именем «факт».

Answer 2

Получите руководство Пролог или учебник и посмотреть = ../2.