论文信息 - Learning programming in Prolog using schemata

Learning programming in Prolog using schemata

In the paper, we describe our approach and experience with teaching fundamentals of logic programming by program schemata construction and explanation. Program schemata construction is helped by presentation of a few examples. After a particular program schema has been introduced, students are required to instantiate the schema both as a writing exercise and afterwards as a programming exercise. We report on our experiments aimed at verifying our hypotheses about suitability of this approach to learning programming by evaluating the effectiveness of the learning process.

Mária Bieliková | Pavol Návrat | P. Návrat | M. Bieliková

[1] Curtis Sollohub,et al. Programming Templates: Professional Programmer Knowledge Needed By the Novice , 1991, Comput. Sci. Educ..

[2] Cornetto. Test , 2020, ACM Transactions on Algorithms.

[3] Pierre Flener,et al. Correct-schema-guided synthesis of steadfast programs , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[4] Norbert E. Fuchs,et al. Prolog Program Development via Enhanced Schema-based Transformations , 1995, LPE.

[5] Timothy S. Gegg-Harrison. Extensible Logic Program Schemata , 1996, LOPSTR.

[6] A Schema-based Approach to Teaching Programming in Lisp and Prolog , 1996 .

[7] Stef Joosten,et al. Teaching functional programming to first-year students , 1993, Journal of Functional Programming.

[8] Leon S. Sterling. Representing Logic Program Schemata in λProlog , 1995 .

[9] Paul Brna. Teaching Prolog techniques , 1993 .

[10] Leon Sterling,et al. Applying Techniques to Skeletons , 1993, ICLP Workshop on Construction of Logic Programs.

[11] Viera Rozinajová,et al. Making programming knowledge explicit , 1993 .

[12] S. M. Haynes,et al. Explaining recursion to the unsophisticated , 1995, SGCS.

[13] Maria Vargas-Vera,et al. Building Large-Scale Prolog Programs using a Techniques Editing System , 1993, ILPS.