Skip to main content

i-Prolog: A Web-Based Intelligent Tutoring System for Learning Prolog

  • Conference paper
  • First Online:
Interactivity, Game Creation, Design, Learning, and Innovation (ArtsIT 2017, DLI 2017)

Abstract

Intelligent tutoring systems (ITS) incorporate techniques for transferring knowledge and skills to students. These systems use a combination of computer-aided instruction methods and artificial intelligence. In this paper we present a web-based intelligent tutoring system. Although it can be used as a generic learning mechanism, in this paper, as a proof of concept we used it for learning Prolog. We present the architecture of our system and we provide details on each one of its modules. Each lesson includes the corresponding lecture with theory and exercises, a practice module where students can apply the corresponding theory and an assessment module to verify user’s understanding. The system can be used with or without a teacher enabling distant learning. Among the novelties of our system is its flexibility to adapt to individual student choices and profile, offering a wide range of alternatives and trying to continuously keep the interest of the final user. The preliminary evaluation performed confirms the usability of our system and the benefits of using it for learning Prolog.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bielikova, M.N.: A schema-based approach to teaching programming in Lisp and Prolog. PEG (2003)

    Google Scholar 

  2. Corbett, A., Anderson, J.: Locus of feedback control in computer-based tutoring: impact on learning rate, achievement and attitudes. In: SIGCHI 2001, pp. 245–252 (2001)

    Google Scholar 

  3. Gerdes, A., Heeren, B., Jeuring, J., van Binsbergen, L.T.: Ask-Elle: an adaptable programming tutor for haskell giving automated feedback. IJAIED 27(1), 1–36 (2016)

    Google Scholar 

  4. Giannoulis, M., Marakakis, E., Kondylakis, H.: Developing a collaborative knowledge system for Cancer Diseases, IEEE CBMS (2017)

    Google Scholar 

  5. Graesser, A.C., Conley, M.W., Olney, A.: Intelligent tutoring systems. In: APA Handbook of Educational Psychology. Department of Psychology & Institute for Intelligent Systems, pp. 1–54 (2010)

    Google Scholar 

  6. Kondylakis, H., Kazantzaki, E., Koumakis, L., et al.: Development of interactive empowerment services in support of personalized medicine. eCancer Med. Sci. J. 8, 400 (2014). https://doi.org/10.3332/ecancer.2014.398

    Google Scholar 

  7. Kondylakis, H., Koumakis, L., Kazantzaki, E., et al.: Patient empowerment through personal medical recommendations. Health Biomed. Inf. 216, 1117 (2015)

    Google Scholar 

  8. Kondylakis, H., Koumakis, L., Ruping, S., et al.: PMIR: a personal medical information recommender. In: Proceedings of Medical Informatics Europe (MIE), vol. 205, p. 1193 (2014)

    Google Scholar 

  9. Looi, C.K.: Automatic debugging of prolog programs in a prolog intelligent tutoring system. Instruct. Sci. 20, 215–263 (1991)

    Article  Google Scholar 

  10. Marakakis, E., Kondylakis, H., Papadakis, N.: A knowledge-based interactive verifier for logic programs. Innov. Knowl. Intell. Eng. Syst. 18(3), 143–156 (2014)

    Google Scholar 

  11. Moon-Chuen, L.: An augmented prolog programming for tutoring applications Environment Components. In: AIE, pp. 898–906 (1990)

    Google Scholar 

  12. Rivers, K., Koedinger, K.R.: Data-driven hint generation in vast solution spaces: a self-improving python programming tutor. IJAIED 16(1), 37–64 (2015)

    Google Scholar 

  13. Robins, A., Rountree, T., Rountree, N.: Learning and teaching programming: a review and discussion. Comput. Sci. Educ. 13, 137–172 (2003)

    Article  Google Scholar 

  14. Skinner, B.F.: About Behaviorism. Vintage, New York (2011)

    Google Scholar 

  15. Vlahavas, I.P., Sakellariou, I., Futo, I., Pasztor, Z., Szeredi, J.: Cspcons: a communicating sequential prolog with constraints. In: Vlahavas, I.P., Spyropoulos, C.D. (eds.) SETN 2002. LNCS (LNAI), vol. 2308, pp. 72–84. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-46014-4_8

    Chapter  Google Scholar 

  16. Webb, G.I.: Inside the unification tutor: the architecture of an intelligent educational system. In: ASCILITE, pp. 677–684 (1991)

    Google Scholar 

  17. Webb, G.I.: The unification tutor - an intelligent educational system in the classroom. In: ASCILITE, pp. 408–420 (1989)

    Google Scholar 

  18. Wikipedia Article: intelligent tutoring system. https://en.wikipedia.org/wiki/Intelligent_tutoring_system. Accessed Aug 2017

  19. Yang, S.M.: Approaches for learning prolog programming. Innov. Teach. Learn. Inf. Comput. Sci. 6, 88–107 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Haridimos Kondylakis .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Stathaki, A., Kondylakis, H., Marakakis, E., Kalogerakis, M. (2018). i-Prolog: A Web-Based Intelligent Tutoring System for Learning Prolog. In: Brooks, A., Brooks, E., Vidakis, N. (eds) Interactivity, Game Creation, Design, Learning, and Innovation. ArtsIT DLI 2017 2017. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 229. Springer, Cham. https://doi.org/10.1007/978-3-319-76908-0_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-76908-0_32

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-76907-3

  • Online ISBN: 978-3-319-76908-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics