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