built in the mentor rules for the prolog commands