Files:DescriptionFile size Format
Fulltext2.29 MBPDF (requires Acrobat Reader)
  
Editors:Mireille Ducassé, Ulf Nilsson, Dietmar Seipel
Conference:Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004
Publication type: Conference proceedings
Issue:012
Language:English
Introduction:Logic Programming and Constraint Logic Programming are powerful programming paradigms, but quite different from other paradigms and often perceived as hard to learn without sufficient aid. The aim of the first international workshop on Teaching Logic Programming, TeachLP 2004, was to investigate what is currently taught and how; to discuss what should be taught and why. The workshop was held in Saint-Malo, France, on September 8-9 2004 in conjunction with the 20th International Conference on Logic Programming, ICLP’04. For further details see the TeachLP 2004 web-site: http://www.ida.liu.se/%7Eulfni/teachLP2004/.

Contents

Book Cover (PDF file, requires Acrobat Reader)
Preface (PDF file, requires Acrobat Reader)
Committee (PDF file, requires Acrobat Reader)

Presentations

012:001
Christine Solnon
An On-line Course on Constraint Programming
[Abstract and Fulltext]

012:002
Christop Beierle, Marija Kulas, Manfred Widera
Partial Specifications of Program Properties
[Abstract and Fulltext]

012:003
Tibor Tibor
Teaching Prolog Programming at the Eötvös Loránd University, Budapest
[Abstract and Fulltext]

012:004
Henning Christiansen
Prolog as Description and Implementation Language in Computer Science Teaching
[Abstract and Fulltext]

012:005
Péter Szeredi
Teaching Logic Programming at the Budapest University of Technology
[Abstract and Fulltext]

012:006
Paul Douglas, Steve Barker
A Logic Programming E-Learning Tool for Teaching Database Electronic Conference Proceedings Dependency Theory
[Abstract and Fulltext]

012:007
Steve Barker, Paul Douglas
A Database Transaction Scheduling Tool in Prolog
[Abstract and Fulltext]

Year:2004
No. of pages:91
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/012/ecp04012.pdf
Available:2004-10-04
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
Mireille Ducassé, Ulf Nilsson, Dietmar Seipel (2004). Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004 http://www.ep.liu.se/ecp_home/index.en.aspx?issue=012 (4/19/2014)