The design and analysis of Large Multi-Agent Systems require new tools and methods. We are currently investigating, adapting and applying results and practices from Computational Logic, more specifically, Logic Programming, to support rapid prototyping and modelling of such systems. I shall give a demo of a proof-of-concept prototype incorporating some of the ideas presented.