Towards a knowledge-based discrete simulation modelling environment using Prolog | lit.salon