Title: How to solve it with PROLOG