H02A3A Programming Languages and Programming Methodologies

2011-2012

Gerda Janssens




    Syllabus

    Handbook

        PROLOG Programming for Artificial Intelligence,
        Ivan Bratko
        Addison Wesley, third edition 2001.
        ISBN  0201-40375-7

    Prolog system

           SWI Prolog    (and mainly for CLP applications SICStus Prolog )
            available in the PC-classes of the university LUDIT

    Interesting Links

         The World Wide Web Virtual Library: Logic Programming  a source of all kinds of "Prolog" related information
         The frequently asked questings (FAQ) of Prolog
         Some online tutorials: the tutorial of Bartak , the tutorial of Fisher,  
                                and  the online tutorial of P. Blackburn et al.

         The newsletter of the Association of Logic Programming (ALP) with in the
            Issue of Novenmer 2003 an interesting editorial with feedback from people in the
            industry about why they currently want to use Prolog in industrial applications.

     Handouts  

         Introduction  sildes:

More slides:  recursion patterns for lists,
                       use of if-then-else in Prolog
                       constraint logic programming slides

The "coding Guidelines for Prolog" paper can be found here.
(recommended reading: section 2 about indentation, section 3 about naming conventions and
section 5 about Language Idioms (for those who are relatively new to Prolog))


         Example programs:  nodoubles.pl  
                                            fib program with lemma's
                                            the program for the five houses puzzle
                                            the sicstus clp version of the five houses puzzle

                                           
a CLP(FD) program: shoes.pl (SICStus version).


                                           binary dictionary examples

     EXAMPLE EXAM: will be discussed later (as a part of the last assignment)

     Exercises 

          Information about the exercise sessions.

         

     Assignments

answers can be mailed to Gerda Janssens

The 11-12  assignments