
:- foreign(get_args(-term)).
:- foreign(put_args(+term)).

call_prolog(Functor) :-
  get_args(Args),
  Goal =.. [Functor|Args],
  Goal,
  put_args(Args).
