25 March - 12 April, Logic programming (Mireille Ducassé)
Section outline
-
Logic programming languages are declarative: programs state “what” has to be done and the compiler cares for “how” it should be done.
Content of this part of the course
- The basics of Prolog: unification, recursion, backtracking, list processing, resolution,
- Introduction to Constraint logic programming: programming with equations
- A small project - about logic programming for real applications.
Programming will be done on Eclipse Prolog (http://eclipseclp.org). It is recommended that students install it on their private machines.
Some exercises may be done on-line with Swi Prolog (https://swish.swi-prolog.org).Quizz at the beginning of lectures may be done on https://app.wooclap.com/events/OROZXB.
-
Lecture material
WARNING: The material is in general updated before (and sometime after) the lectures.
Note that
- Chapter 5 and 7 are also provided as interactive lessons to help you learn on your own.ell
- Start with the lessons before reading the slides
- You must submit a solution in order to see mine
- You can only submit once... and I will see what you submit
- Please test a solution before submitting it
- Provide the code and the test results in your answer
The end of Chapter 5, as well as Chapters 6 and 8 are not covered in 2024
- You can of course learn them
- but I will not ask you questions about them during the defenses
- Chapter 5 and 7 are also provided as interactive lessons to help you learn on your own.ell
-
-
Program templates
-
-
When you do not understand what is happening, tracing may be the only resort. The trace contains useful information but it is very quickly overwhelming. You need to know beforehand what you want to see.This page tells you
- how to get started with ECLiPSe Prolog
- how to call and set up the tracer
- how to read a trace
- what are the main tracing commands
- how to trace breadth-first
- how to trace back errors
-
In order to be able to take the exam you have to upload reports about the exercises done during lectures.This section contains recommendations about how to present them and about the tests.Tests are very important when programming. They give information on the quality on your code.Always keep them.
-
Открыто с: вторник, 5 марта 2024, 15:58Срок сдачи: среда, 15 мая 2024, 03:58•Make sure to add how you tested them
/*
<program description>
*/
<Prolog code>
/*
?- <tested goals and results>
*/
-
Открыто с: вторник, 2 апреля 2024, 00:00Срок сдачи: среда, 15 мая 2024, 00:00
-
Открыто с: вторник, 5 марта 2024, 15:58Срок сдачи: среда, 15 мая 2024, 03:58