Create labDexter.prolog