Logical programming (VSB-TUO school course) - View it on GitHub