Hello Sir...
I am a computer science tutor, I teach (among others) Haskell, Prolog and Algorithms.
I have done many projects like this, and I'm the top Prolog developer, you can check here please: https://www.freelancer.com/freelancers/skills/Prolog/
Please contact me for more details when possible.
I look forward to work for you Sir.
Best Regards.