Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004
 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.
 DĂˇvid HanĂˇk. Computer support for declarative programming courses (in Hungarian); 2001. MSc Thesis; BUTE; Budapest; Hungary.
 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.
 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.
 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.
 Gergely LukĂˇcsy. Comparison of source program structures (in Hungarian); 2001. National Studentsâ€™ Conference; Eger; Hungary.
 TamĂˇs Nepusz. Visualisation of Prolog program execution (in Hungarian); 2003. Studentsâ€™ Conference; BUTE; Budapest; Hungary.
 Ulf Nilsson and Jan Maluszynski. Logic; Programming and Prolog (2nd ed). John Wiley; 1995.
 SICS; Swedish Institute of Computer Science. SICStus Prolog Manual; 3.11; June 2004.
 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.
 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.
 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.
 David H. D. Warren. Logic programming and compiler writing. Software Practice and Experience; 10:97â€“125; 1980.