Post: Notes on Prolog