Stuff that I do in Prolog