*Homepage:* http://www.iasi.rm.cnr.it/~proietti/system.html The MAP Transformation System is a tool which is designed to support the interactive transformation of logic programs using the unfold/fold methodology. * AlbertoPettorossi * MaurizioProietti * FabioFioravanti ---- CategorySystem