A MAS for Teaching Computational Logic.