prolog notes