SWI-Prolog Project

The project will be a program in the SWI-Prolog language which will solve any problem, but the condition is the use of the theories in theoretical informatics. The minimum requirements are that the core of this program must be program with 10 predicates having at least one variable. It should be original project. It can solve any problem or it can be a riddle. Just remind that it supposed be new which means can not be found on the internet.