A PROLOG simulator for interactive flexible manufacturing systems control