Prolog lab work for KTU