A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments