School work from my "Logic Programming" lab.