Prolog as description and implementation language in computer science teaching

Henning Christiansen

    Publikation: Konferencebidrag › Paper › Forskning › peer review

    Resumé

    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.
    OriginalsprogDansk
    Publikationsdato2004
    StatusUdgivet - 2004
    BegivenhedFirst International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8–9, 2004 - Saint Malo, Frankrig
    Varighed: 8 sep. 2004 → 9 sep. 2004

    Konference

    KonferenceFirst International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8–9, 2004
    LandFrankrig
    BySaint Malo
    Periode08/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

    Citer dette

    Christiansen, H. (2004). Prolog as description and implementation language in computer science teaching. Afhandling præsenteret på First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8–9, 2004, Saint Malo, Frankrig.
    Christiansen, Henning. / Prolog as description and implementation language in computer science teaching. Afhandling præsenteret på First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8–9, 2004, Saint Malo, Frankrig.
    @conference{bd14ddf06b6211dbb485000ea68e967b,
    title = "Prolog as description and implementation language in computer science teaching",
    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.",
    author = "Henning Christiansen",
    note = "V{\ae}rtspublikationsredakt{\o}rer: Mirelle Ducass{\'e} V{\ae}rtspublikationsredakt{\o}rer: Ulf Nilsson V{\ae}rtspublikationsredakt{\o}rer: Dietmar Seipel Serie: Link{\"o}ping Electronic Conference Proceedings, 12, 1650-3686 Sider: 43-54; First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8–9, 2004 ; Conference date: 08-09-2004 Through 09-09-2004",
    year = "2004",
    language = "Dansk",

    }

    Christiansen, H 2004, 'Prolog as description and implementation language in computer science teaching' Paper fremlagt ved First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8–9, 2004, Saint Malo, Frankrig, 08/09/2004 - 09/09/2004, .

    Prolog as description and implementation language in computer science teaching. / Christiansen, Henning.

    2004. Afhandling præsenteret på First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8–9, 2004, Saint Malo, Frankrig.

    Publikation: Konferencebidrag › Paper › Forskning › peer review

    TY - CONF

    T1 - Prolog as description and implementation language in computer science teaching

    AU - Christiansen, Henning

    N1 - 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

    PY - 2004

    Y1 - 2004

    N2 - 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.

    AB - 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.

    M3 - Paper

    ER -

    Christiansen H. Prolog as description and implementation language in computer science teaching. 2004. Afhandling præsenteret på First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8–9, 2004, Saint Malo, Frankrig.

    Link til dokument