i-Prolog: A Web-Based Intelligent Tutoring System for Learning Prolog. - Afroditi Stathaki; Haridimos Kondylakis; Emmanouil I. Marakakis; Michael Kalogerakis (ArtsIT/DLI, 2017)