Abstract
Prolog is a powerful pedagogical instrument for
theoretical elements of computer science when used as combined
description language and experimentation tool.
A teaching methodology based on this principle has been
developed and successfully applied in a context
with a heterogeneous student population with uneven
mathematical backgrounds.
%
Definitional interpreters, compilers, and other models of computation
are defined in a systematic way as Prolog programs, and as a result,
formal descriptions become running prototypes that
can be tested and modified by the students.
These programs can
be extended in straightforward ways into
tools such as analyzers, tracers and debuggers.
Experience shows a high learning curve, especially when
the principles are complemented with a learning-by-doing approach
having the students to develop such descriptions themselves
from an informal introduction.
Originalsprog | Dansk |
---|---|
Publikationsdato | 2004 |
Status | Udgivet - 2004 |
Begivenhed | First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 89, 2004 - Saint Malo, Frankrig Varighed: 8 sep. 2004 → 9 sep. 2004 |
Konference
Konference | First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 89, 2004 |
---|---|
Land/Område | Frankrig |
By | Saint Malo |
Periode | 08/09/2004 → 09/09/2004 |
Bibliografisk note
Værtspublikationsredaktører: Mirelle DucasséVærtspublikationsredaktører: Ulf Nilsson
Værtspublikationsredaktører: Dietmar Seipel
Serie: Linköping Electronic Conference Proceedings, 12, 1650-3686
Sider: 43-54