Edit: prolog.ps