Implement the new fine prolog mechanism
|Target version:||unplanned yet|
|For junior contributor:|
3.0 will come wil a full rewrite a this part of the code. I don't know if we must work on that before. Any opinion?