Package moise.prolog