University of Caen, France
Logic, Prolog, Abstraction, Constraint programming, Non-determinism.
Authoring Tools and Content Development
Context Dependent Learning
Domain Applications and Case Studies
e-Learning Hardware and Software
Higher Order Thinking Skills
Information Technologies Supporting Learning
Intelligent Learning and Teaching Systems
Learning/Teaching Methodologies and Assessment
We argue in favour of teaching modern programming to students of “non-scientific” undergraduate disciplines (humanities), considering that computer-assisted learning should not be reduced to the usage of tools, but provides some answers to the question: how the knowledge is built. The computer science should be treated as an inherent part of their culture. We advocate the teaching of Logic Programming languages: Prolog, and of the Constraint Programming languages, such as CHR. Logic programming permits to formulate the computational problems and their solutions in a form more close to human reasoning than several other languages, and adaptable to the domains of interest of the learners.