Semantic and Declarative Technologies Course -- AIT 2023 Spring Semester

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


Slides of the present, 2023 Spring semester

Prolog systems

The main Prolog system of the course is SICStus Prolog. You will obtain, 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

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.

Course information

Office hours: Wednesdays 6pm-7pm. Other dates can be arranged as well.

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.

For logging into ETS you will need a user code (given by us) and a password (chosen by you). 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). If you have provided a preferred first name in parentheses, that will be used and all the other non-last names ignored. For 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 the email address in the form displayed and edit it, if needed, 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.

Practice and Homework tasks

Mid-term test

Tentative date: Wednesday Apr-05-2023 4pm

Sample mid-term tests are available: sample 1, sample 2, solutions: sample 1, sample 2,


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

Assignment 1

Solving a Sudoku puzzle: .pdf.
You can download the test cases from here.

Deadline : Monday, Apr-10-2023
Please read some important advice given here.
If (and only if) you think you are unable to solve the problem, please read the hints available from this page.

There is some information on how to handle subgrids without recursion here.

You can discuss approaches and algorithms, but no code pieces should be shared!

Last modified by Péter Szeredi,, on Mar-20-2023.