Semantic and Declarative Technologies Course -- AIT 2023 Spring Semester
This page contains information on the Semantic and Declarative Technologies
Course -- AIT 2023 Spring Semester
News
- Mar-13-2023: Homework P4
to be submitted via ETS by Wednesday, Mar-22-2023
- Mar-06-2023: SDT practice
task P1-2 to be completed
by Monday, Mar-13-2023
- Mar-06-2023: Homework P3
to be submitted via ETS by Monday, Mar-13-2023
- Feb-27-2023: SDT practice
task P1-1 to be completed
by Monday, Mar-06-2023
- Feb-27-2023: Homework P2
to be submitted via ETS by Monday, Mar-06-2023
- Feb-15-2023: Homework L4 due
on paper or pdf sent by email to
sdtprof@gmail.com,
by Wednesday, Feb-22-2023,
(Latex source).
- Feb-08-2023: You can submit Optional Homework L3-2
until Monday Feb-20-2023, for details, see below.
- Feb-08-2023: Please complete the SDT practice
task L3-1 by Wednesday,
Feb-15-2023
- Feb-08-2023: Please complete the SDT practice tasks L1-1,
L1-2, L1-3, L1-4 and L2-1 by Monday, Feb-13-2023
- Feb-06-2023: SDT practice system is
available here
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:
- enter your user code, leave the password field blank;
- check the email address in the form displayed and edit it, if needed, then press the Go button;
- wait until you receive a generated password at the email address provided by you;
- enter this password in the second form displayed;
- 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
- SDT practice tasks L1-1,
L1-2, L1-3, L1-4 and L2-1 to be completed by Monday, Feb-13-2023
- SDT practice
task L3-1 to be completed
by Wednesday, Feb-15-2023
- Optional Homework L3-2: published
Feb-08-2023, due by Monday Feb-20-2023
(Latex source). Solutions should
preferably be submitted via
the L3-2 app;
or sent by email to sdtprof@gmail.com
- Homework L4: published Feb-15-2023, due,
on paper or pdf sent by email to
sdtprof@gmail.com, by Feb-22-2023,
(Latex source).
- SDT practice
task P1-1 to be completed
by Monday, Mar-06-2023
- Homework P2: published Feb-27-2023,
to be submitted via ETS by Monday, Mar-06-2023
- SDT practice
task P1-2 to be completed
by Monday, Mar-13-2023
- Homework P3: published Feb-27-2023,
to be submitted via ETS by Monday, Mar-13-2023
- Homework P4: published Mar-13-2023,
to be submitted via ETS by Monday, Mar-20-2023
- SDT practice
task C1-1 to be completed
by Monday, Apr-10-2023
- For homework tasks in Constraint programming here is some
important advice re handling differences between SICStus and SWI
Prolog:
Use the SICStus variants of the library predicates that differ wrt. SWI,
e.g. domain/3
.
Include the text below at the top of your program file when testing with SWI Prolog
or SWISH.
:- use_module(library(clpfd)).
/* Comment out the next 2 lines, before submitting to ETS */
domain(L, Min, Max) :-
L ins Min..Max.
Tentative date: Wednesday Apr-05-2023 4pm
Sample mid-term tests are
available: sample
1, sample 2,
solutions: sample
1, sample 2,
Assignments
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,
sdtprof@gmail.com,
on Mar-20-2023.