Logic programming based curriculum for high school students: the use of abstract data types

Authors:
Zahava Scherz;Bruria Haberman
Affiliations:
Department of Science Teaching, The Weizmann Institute of Science, Rehovot 76100, ISRAEL;Department of Science Teaching, The Weizmann Institute of Science, Rehovot 76100, ISRAEL
Venue:
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Year:
1995

Citing 5
Cited 3

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
Prolog programming for artificial intelligence

Prolog programming for artificial intelligence
Data structures and program design (2nd ed.)

Data structures and program design (2nd ed.)
Artificial intelligence through Prolog

Artificial intelligence through Prolog
Human Problem Solving

Human Problem Solving

Abstract data types as a project development organiser

ITiCSE '98 Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education
Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction

Informatica
Proposal for developing a primer for constructing and analyzing conceptual structures

ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge

Quantified Score

Hi-index	0.00

Visualization

Abstract

Logic programming and AI based courses have been taught during the last few years to Israeli high school students as part of a computer science curriculum. A special curriculum aimed at teaching concepts of logic programming and AI principles, using Abstract Data Types (ADTs) in Prolog environment was developed in the Weizmann Institute of Science. This curriculum is based on a flexible instructional model according to which the processes of problem solving and knowledge representation are carried out through several main phases while using ADTs. The flexibility of the model is achieved by encapsulating the ADTs' implementation in distinct computer programs. The curriculum was successfully implemented in Israeli high schools and was found to be suitable for a wide range of students.