*Homepage:* http://www.ecs.soton.ac.uk/~mal/ Transformation of Logic Programs * [[LOGEN]] ----- CategoryPeople