Article | Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004 | Teaching Logic Programming at the Budapest University of Technology

Title:
Teaching Logic Programming at the Budapest University of Technology
Author:
Péter Szeredi: Department of Computer Science and Information Theory, Budapest University of Technology and Economics, Hungary
Download:
Full text (pdf)
Year:
2004
Conference:
Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004
Issue:
012
Article no.:
005
Pages:
55-70
No. of pages:
16
Publication type:
Abstract and Fulltext
Published:
2004-10-04
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


The paper describes courses related to Logic Programming at the Budapest University of Technology and Economics. We present the layout and the contents of the main such course; entitled Declarative Programming; as well as the tools used in teaching this subject. We then give a brief outline of the elective courses and other educational activities in the subject area.

Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004

Author:
Péter Szeredi
Title:
Teaching Logic Programming at the Budapest University of Technology
References:

[1] Andrés György B´ek´es and Lukács Tamás Berki. A Web-based student exercising system for teaching programming languages (in Hungarian); 2001. Students’ Conference; BUTE; Budapest; Hungary.


[2] Dávid Hanák. Computer support for declarative programming courses (in Hungarian); 2001. MSc Thesis; BUTE; Budapest; Hungary.


[3] Dávid Hanák; Tamás Benkö; Péter Hanák; and Péter Szeredi. Computer aided exercising in Prolog and SML. In Proceedings of the Workshop on Functional and Declarative Programming in Education; PLI 2002; Pittsburgh PA; USA; October 2002.


[4] Dávid Hanák and Tamás Szeredi. FDBG; the CLP(FD) debugger library of SICStus Prolog. In SusanaMu˜noz Hern´andez and Jos´e Manuel G´omez-P´erez; editors; Proceedings of the Fourteenth International Workshop on Logic Programming Environments (WLPE’04); Saint-Malo; France; September 2004.


[5] Manuel Hermenegildo. Slide presentations using latex/xdvi; 2003. CLIP Group; School of Computer Science; Technical University of Madrid; http://clip.dia.fi.upm.es/Software/xdvipresent html.


[6] Gergely Lukácsy. Comparison of source program structures (in Hungarian); 2001. National Students’ Conference; Eger; Hungary.


[7] Tamás Nepusz. Visualisation of Prolog program execution (in Hungarian); 2003. Students’ Conference; BUTE; Budapest; Hungary.


[8] Ulf Nilsson and Jan Maluszynski. Logic; Programming and Prolog (2nd ed). John Wiley; 1995.


[9] SICS; Swedish Institute of Computer Science. SICStus Prolog Manual; 3.11; June 2004.


[10] Zoltan Somogyi; Fergus Henderson; and Thomas Conway. The execution algorithm of Mercury: an efficient purely declarative logic programming language. Journal of Logic Programming; 29(1-3):17–64; 1996.


[11] Péter Szeredi. Teaching constraints through logic puzzles. In Krzysztof R. Apt et al.; editor; Recent Advances in Constraints; Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming; CSCLP 2003; Selected Papers; volume 3010 of Lecture Notes in Computer Science; pages 196–222. Springer; 2004.


[12] Péter Szeredi and Tamás Benkö. Introduction to logic programming (in Hungarian). Budapest University of Technology and Economics; Faculty of Electrical Engineering and Informatics; 1998; 2001; 2004. Study-aid for the Declarative Programming course. Manuscript.


[13] David H. D. Warren. Logic programming and compiler writing. Software Practice and Experience; 10:97–125; 1980.

Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004

Author:
Péter Szeredi
Title:
Teaching Logic Programming at the Budapest University of Technology
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment