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 10/31/2014)