:- dynamic(fdet/1).
:- dynamic(society_goal/0).

:- dynamic(inizio/4).

:- dynamic(fine/4).

society_goal.

inizio(2,2,_,_).

fine(10,10,_,_).