Title: Towards a knowledge-based discrete simulation modelling environment using Prolog