Thank you. For the in-depth part, besides what you have proposed, you may do a comparison about some interesting aspects between the Prolog implementation and the Haskell implementation.
- Rui