1st Prolog assignment

2nd commit