prolog pex