wanatpj/tpl

Notes for Programming in Logic course at the Jagiellonian University