resame-prolog