how can I turn prolog rules into functor?
The rule processo(minorenni(T,U)), is a functor?
processo(minorenni(T,U)):- testimonePartecipaudienza(T,U),
getdataUdienza(DU,U),
getdataNascita(DT,T),
S is (DU-DT), S < 18,
testimone(T).
In this case you would say that the functor is processo/1; i.e. you have a compound term with name processo and arity 1.
/JC