An integrated teaching environment tailored for supporting the learning and debugging of Prolog and constraint logic programming methodologies.