This directory collects notebooks with exercises to learn Answer Set Programming from examples. You can browse through the directory by clicking on the folder symbol at the left side of this window.
These exercises belong to the tutorial "Easy Answer Set Programming" of the course Answer Set Solving in Practice of the University of Potsdam.
The environment of the notebooks is described in the file environment.ipynb
at the top directory.
The directory without-variables
is about programs without variables, and
the directory with-variables
is a about programs with variables.
Every exercise consists of around 8 pairs of logic programs. You can see the answer sets of the first program, and your task is to find the answer sets of the second program (note that answer sets are the same as stable models).
You can take these exercises as puzzles where you learn from the first program, and then you apply this knowledge to find the answer sets of the second program.
To correct your solution, run clingo
on the second program to obtain its answer sets.
For this, simply click on the cell and then either click the button Run
or press Ctrl+Enter
.
The commands for clingo
use option -V0
to print a short output, and
option 0
to enumerate all answer sets.