Revisit prolog notes
Prolog: better organization