Support for non-prolog bsaed modules