test1 :- functor([a, b, c, d], F, N). test2 :- functor(fakt, F, N). test3 :- functor(X, osoba, 3). test4 :- functor(1 + 5, F, N).