Notes for Programming in Logic course at the Jagiellonian University