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