Files:DescriptionFile size FormatBrowse
Fulltext0.17 MBPDF (requires Acrobat Reader)Previous | Next
  
Authors:Henning Christiansen: Roskilde University, Computer Science Dept., Denmark
Publication title:Prolog as Description and Implementation Language in Computer Science Teaching
Conference:Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004
Publication type: Abstract and Fulltext
Issue:012
Article No.:004
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.
Language:English
Year:2004
No. of pages:12
Pages:43-54
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/012/004/ecp012004.pdf
Available:2004-10-04
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
Henning Christiansen (2004). Prolog as Description and Implementation Language in Computer Science Teaching, Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004 http://www.ep.liu.se/ecp_article/index.en.aspx?issue=012;article=004 (accessed 7/26/2014)