WebHome < Prolog

Tags: view all tags

---+ Logic Programming (Programmazione Logica) 2008-2009
---++ Description
 This course is an introduction to logic programming. Topics that will be covered are unification, proof search, recursion, tail-recursion, the occurs-check, the closed world assumption, backtracking, the cut, and definite clause grammars. The theory will be illustrated using the programming language Prolog. As programming is something which cannot be learned without actually doing it, all course sessions will have a lecture part and a practical part.


<img width="148" alt="iss.jpg" align="right" src="../../../pub/Prolog/WebHome/iss.jpg" height="111" />

The aim of the course is to give the student both theoretical background and hands-on experience in logic programming. The practical part will show the student how straightforward it is to use Prolog to tackle problems in AI and Natural Language Processing. After the course, the student will be familiar with the most important concepts of logic programming, will have mastered techniques to write (simple) Prolog programs, and has an idea to which type of problems logic programming can be applied.

True - Prolog is a relatively old programming language. But despite the popularity of more trendy languages such as Java, it is still used in industrial applications. Did you know, for example, that Prolog is used to program a spoken dialogue system used by NASA astronauts in the International Space Station?

 
---++ Time Table
Lectures are every Friday from 14:00-18:00 in the Aula Seminari (via Salaria 113, terzo piano).
The next lecture is on Nov 21.

---++ Teaching Material
 <img width="180" alt="lpn.jpg" align="right" src="../../../pub/Prolog/WebHome/lpn.jpg" height="180" /> We will use the following course materials:

   * Blackburn, Bos &amp; Striegnitz (2006): [[http://www.learnprolognow.org][Learn Prolog Now!]]<br /> 
 College Publications<br /> ISBN 1904987176 
   * For practical work we will use [[http://www.swi-prolog.org][SWI Prolog]]. 
Learn Prolog Now! can be ordered via (for example) [[http://www.amazon.co.uk/gp/product/1904987176/202-0494540-0518243?v=glance&amp;n=266239&quot;][amazon.co.uk]]. SWI Prolog is freely available software and runs on linux, mac and windows.

 
---++ Slides
 Lecture 1 (Oct 10): *Facts, Rules and Queries* [[%ATTACHURL%/LPN1.ppt][LPN1.ppt]]<br /> 
Lecture 2 (Oct 10): *Unification and Proof Search* [[%ATTACHURL%/LPN2.ppt][LPN2.ppt]]<br /> 
Lecture 3 (Oct 17): *Recursion* [[%ATTACHURL%/LPN3.ppt][LPN3.ppt]]<br /> 
Lecture 4 (Oct 24): *Lists* [[%ATTACHURL%/LPN4.ppt][LPN4.ppt]]<br />
 Lecture 5 (Nov 7) : *Arithmetic* [[%ATTACHURL%/LPN5.ppt][LPN5.ppt]]<br /> 
Lecture 6 (Nov 7): *More Lists* [[%ATTACHURL%/LPN6.ppt][LPN6.ppt]]<br /> 
Lecture 7 (Nov 21): *Definite Clause Grammars* [[%ATTACHURL%/LPN7.ppt][LPN7.ppt]]<br /> 
Lecture 8 (Nov 21): *More Definite Clause Grammars* [[%ATTACHURL%/LPN8.ppt][LPN8.ppt]]<br /> 
Lecture 9 (Nov 28): *A Closer Look at Terms* [[%ATTACHURL%/LPN9.ppt][LPN9.ppt]]<br /> 
Lecture 10 (Nov 28): *Cuts and Negation* [[%ATTACHURL%/LPN10.ppt][LPN10.ppt]]<br /> 
Lecture 11 (Dec 5): *Database Manipulation and Collecting Solutions* [[%ATTACHURL%/LPN11.ppt][LPN11.ppt]]<br /> 
Lecture 12 (Jan 16): *Working with Files* [[%ATTACHURL%/LPN12.ppt][LPN12.ppt]]<br /> Extra: *Horn Clauses* [[%ATTACHURL%/Horn.ppt][Horn.ppt]]

---++ Course Credits
 Crediti: 6. Ci sono 12 moduli. Ogni modulo &egrave; seguito da una semplice prova in itinere. Per acquisire i crediti lo studente &egrave; tenuto a svolgere tutte le prove, superandone in modo soddisfacente almeno 10.

---++ Course Specialties
 The course will partly be taught in English.

---++ Lecturer
 *Name:* Johan Bos
*Email:* bos AT di DOT uniroma1 DOT it

*Address:* Via Salaria 113 - 3&deg; Piano, studio 345b.