Prolog notes