SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
teaching:labs:xp:2009a:topic_prolog [2009/01/19 14:50]
127.0.0.1 external edit
teaching:labs:xp:2009a:topic_prolog [2018/05/09 01:59] (current)
Line 1: Line 1:
 +====== Logic Programming and Prolog ======
 +
 +<​note>​Slide 24 needs to be fixed.</​note>​
 +
 +Slides: [[https://​svn.iai.uni-bonn.de/​repos/​IAI_Software/​xp/​agile2009a/​Slides/​topic-prolog.ppt|Prolog]]\\
 +Experts: **Wasim Bari, Sönke Gluch**\\
 +Contact: Daniel Morales, Günter Kniesel, Tobias Rho
 +
 +
 +===== Five points to remember =====
 +  - ?
 +  - ?
 +  - ?
 +  - ?
 +  - ?
 +
 +----
 +
 +==== Session Outline ====
 +
 +
 +The talk should present the following topics in a mix of general explanation (slide-based),​ practical demonstration by the presenter and practical, hands-on exercises for the participants (who should preferably bring their own laptops): ​
 +  * Introduction to Logic Programming ​
 +  * The Prolog language ​
 +    * Definitions (Term, Clause, Predicate, Atom, Literal,​...)
 +    * Lists(operations)
 +    * Recursion
 +    * Cut
 +    * Meta-predicates
 +
 +
 +Here are some links to lectures, presentations,​ examples:
 +
 +   * :en: Slides from previous Labs: 
 +     * XP Lab 2008a: \\ Part1: {{:​teaching:​labs:​xp:​2008a:​seminar:​prolog.ppt|PPT}} {{:​teaching:​labs:​xp:​2008a:​seminar:​prolog_part1.pdf|PDF}} \\  Part2: ​ {{:​teaching:​labs:​xp:​2008a:​seminar:​prologpart_2.ppt|PPT}} {{:​teaching:​labs:​xp:​2008a:​seminar:​prolog_part_2.pdf|PDF}}
 +     * XP Lab 2007: \\ Tutorial {{:​teaching:​labs:​xp:​2007b:​logicprogrammingandprolog.pdf|PDF }}
 +  * :en: [[http://​www.coli.uni-saarland.de/​~kris/​learn-prolog-now/​| Learn Prolog Now]]
 +  * :en: [[http://​www.google.de/​search?​q=prolog+tutorial| Google]] :-)
 +  * :de: [[:​service:​knowhow:​prolog:​start|Prolog glossary]] ​
 +  * :de: Lecture on [[http://​roots.iai.uni-bonn.de/​lehre/​xp2005a/​attach?​page=doc%2fadvancedprolog.ppt|advanced Prolog]] ​
 +  * :de: Introduction to Prolog: [[http://​roots.iai.uni-bonn.de/​lehre/​xp2005a/​attach?​page=doc%2fprolog_slides.pdf|Slides]],​ [[http://​roots.iai.uni-bonn.de/​lehre/​xp2005a/​attach?​page=doc%2fprolog_simple_examples.zip|Examples]] (by Tobias Buhr for one of the last XP labs)
 +
 +
 +
  
teaching/labs/xp/2009a/topic_prolog.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019