Minor changes
Primer commit tp prolog.