Search

Computer science (CS) curricula are composed of various study modules, each of which focuses on particular contents, concepts, principles, and associated problem-solving methods. Developers of CS curricula recommend that students become acquainted with different programming paradigms in order to acquire alternative ways of computational thinking and various approaches for problem solving. In this paper, we illuminate two different though related paradigms: object-oriented programming and logic programming. We present and discuss the findings of a comparative study aimed at revealing similarities and dissimilarities between object oriented programming and logic programming in the context of problem-solving approaches and conclude with guidelines for instructional design of a study track that combines both paradigms. [ABSTRACT FROM AUTHOR]

Abstract data types constitute a central tool in computer science and play an important role in problem solving, knowledge representation, and programming. In this paper, formal and practical aspects of utilizing abstract data types (ADTs) are discussed in the context of logic programming when using the Prolog programming language. The approach is presented in the following stages: (a) First, alternative ways of implementing ADTs in terms of Prolog constructs are presented and partial encapsulation of ADTs in terms of grey boxes is demonstrated. (b) Next, complete encapsulation of ADTs in terms of black boxes is suggested in a way that strictly reflects the concept's formal computer science definition while taking into consideration the characteristics and constraints of the logic programming paradigm. (c) Finally, implications for instruction are discussed. [ABSTRACT FROM AUTHOR]

Discusses the implications of first learning recursion in logic programming high school students' understanding of the concept in Israel. Recursion as a central concept in computer science; Attainment of a conception of recursion as a tool for knowledge representation; Declarative approach for teaching recursion in logic programming; Mental models of recursion.