prolog readme