lpn!; exercise 2.1 - fix wrong unification answer
lpn!; exercise 2.2 - satisfied queries