Overview of Online Teaching Resources for Logic Programming

Computer science studies offer a number of programming courses. Previous research, mostly concentrated on object-oriented programming, has shown that students face various obstacles in learning programming languages, which resulted in suggestions for improving teaching process in this field. Logic programming, belonging to a different, declarative programming paradigm, has been researched to a smaller extent, although it raises even bigger challenges for both students and teachers. Students are recommended to first acquire knowledge in formal logic, and then to learn how to apply that knowledge in logic programming. This paper addresses teaching formal logic and especially logic programming. As a first step in initiative for its improvement, an overview of existing logic programming teaching resources is made, with the emphasis on freely available online courses, materials and tools.

[1]  Anabela Gomes,et al.  Learning to program - difficulties and solutions , 2007 .

[2]  Mario Konecki,et al.  Using real projects as motivators in programming education , 2016, 2016 39th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO).

[3]  Derek H. Sleeman.  The challenges of teaching computer programming , 1986, CACM.

[4]  Iain Milne,et al.  Difficulties in Learning and Teaching Programming—Views of Students and Tutors , 2002, Education and Information Technologies.

[5]  Paul Brna.  Logic Programming in Education: A Perspective on the State of Art , 1994, ICLP Workshop: Logic Programming and Education.

[6]  Mohamad Ali,et al.  Difficulties In Learning Programming:views Of Students , 2012 .

[7]  Rosa Maria Bottino,et al.  Teaching computer science through a logic programming approach , 1988 .

[8]  Noa Ragonis,et al.  Drawing Analogies between Logic Programming and Natural Language Argumentation Texts to Scaffold Learners' Understanding. , 2014 .

[9]  Mario Konecki.  PROBLEMS IN PROGRAMMING EDUCATION AND MEANS OF THEIR IMPROVEMENT , 2014 .

[10]  Pedro Cabalar,et al.  Formalising the Fisherman's Folly puzzle , 2011, Artif. Intell..

[11]  Kirsti Ala-Mutka,et al.  A study of the difficulties of novice programmers , 2005, ITiCSE '05.

[12]  Mike Joy,et al.  Approaches for Learning Prolog Programming , 2007 .

[13]  Gérard Ligozat.  Qualitative Spatial and Temporal Reasoning: Ligozat/Qualitative Spatial and Temporal Reasoning , 2013 .

[14]  Pedro Manuel Pinto Ribeiro,et al.  Teaching Artificial Intelligence and Logic Programming in a Competitive Environment , 2009, Informatics Educ..

[15]  Hairulliza Mohamad Judi,et al.  Analysis of Research in Programming Teaching Tools: An Initial Review , 2013 .

[16]  Janet Rountree,et al.  Learning and Teaching Programming: A Review and Discussion , 2003, Comput. Sci. Educ..

[17]  Ricardo Luiz B. L. Campos.  Logic Programming: Can the learning and teaching process be improved apart from standards adopted by most professors and established in academic books? , 2010, CLEI Electron. J..

[18]  George Anastassakis,et al.  A Platform for Teaching Logic Programming Using Virtual Worlds , 2014, 2014 IEEE 14th International Conference on Advanced Learning Technologies.