Semantic and Declarative Technologies Course -- AIT 2020 Spring Semester

This page contains information on the Semantic and Declarative Technologies Course -- AIT 2020 Spring Semester


Files for the class on April 27th:

Slides of the present, 2020 Spring, semester

Videos of the present, 2020 Spring, semester

Prolog systems

The main Prolog system of the course is SICStus Prolog. You obtained, through email, download instructions and a licence (valid till the beginning of the next term).
You can use other Prolog systems, but your homeworks will be run using SICStus Prolog. Of the free Prolog systems we recommend SWI-Prolog, which also has a Web-based sandbox environment: SWISH. During the course we will try to give some help in solving compatibility issues.

Code samples

Please use this link to obtain various pieces of code for practice on 02-20-2020.

The example programs presented on the slides can be downloaded from here.
The programs are placed in files prefixed with the page number of the slide.

Practice tools

Propositional formulas
Propositional resolution
Propositional resolution free practice
Prolog execution practice
Constraint pruning 1
Constraint pruning 2

What is the name of this book?

The book

Course rules

The course rules can be downloaded from here.

ETS - the Electronic Teacher Support system

The login page of ETS is available here. Sometimes you have to press the Reload button, possibly several times, for the login page to appear. Some browsers may also ask you for additional confirmation as they consider this an "unsafe" site.

Your user code is obtained by concatenating your last name(s) and the first name, in this order, and taking the first six letters of this string (omitting spaces, hyphens, etc). For example, if your name is Joe Ford, your user code will be FORDJO. If you have provided a preferred first name in parentheses, that will be used and all the other first names ignored. Example: the user code for "Fui Si (Chris) Won" is WONCHR.

When you first log in:

  1. enter your user code, leave the password field blank;
  2. check or edit the email address in the form displayed, then press the Go button;
  3. wait until you receive a generated password at the email address provided by you;
  4. enter this password in the second form displayed;
  5. from now on you can access the services of ETS using this password.
You can change your email and password anytime using the menu item "My data". Please do not use a valuable password here.

Homework/Practice sessions

Mid-term test

The mid-term test was published on course webpage on Wednesday, April 8th 2020, 4:09 pm CEST: pdf
Solutions are to be submitted via ETS (already open). You are encouraged to submit partial solutions, only the very last submission will be evaluated.
The submission deadline is Thursday, April 9th, 8:00 pm CEST.

Sample mid-term test available: sample 1, sample 2.


All assignments are to be submitted via the ETS Electronic Teacher Support (ETS) tool.


The finals are split into two parts: a sit-in (sit-at-home) part on the Semantic Web, and a take-home part on CLPFD programming.

The Semantic Web part of the final test can be downloaded from here. This is an OPEN BOOK test, you can use the slides.
The solution should be submitted to ETS as a pdf file.
Semantic Web part deadline: 11:59pm CEST Sunday 17th May.
The latex source of the test is available here.
(The sample final test (Semantic Web part) can still be downloaded from here, and its solution from here.)

The CLPFD part of the final test can be downloaded from here. It can be submitted and tested using ETS.
CLPFD part deadline: 11:59pm CEST Monday 18th May.
Some hints, about how to make your code prune better, can be read here.
The CLPFD part is related to the end view puzzle, see e.g. here.

Last modified by Péter Szeredi,, on 17-May-2020.