Logical Programming Lab 01.04.2014 Lab 5 ex. 3 and Lab 6 ex. 1.