:-initialization(main). main :- call(_) =.. [F|_], F.