All the files for my prolog assignment. Yay.