A Prolog-based MAS for Railway Signalling Monitoring: Implementaion and Experiments