programming_in_logic This repo contains solutions of problems presented on course Programming in Logic (Programowanie w Logice) in 2018