lab4 for prolog
c# domains
Merge branch 'newAlex1' into newAlex