A little Prolog project of mine.