Fix TP2. The goal is now reached in approx. 5 minutes.
Merge branch 'master' of github.com:viodlen/prolog_project