Generated docs for https://github.com/crguezl/prolog-examples