Logical Programming Laboratory 3 School Work

Problems done at the third Logical Programming Laboratory. Currently
uncommented. Will be updated in future patch.