As for the platform, two additional things may be worth considering.
- This announcement Spinx-Prolog for creating interactive Prolog books
- A wiki based on markdown would have the advantage that it integrates easier with Discourse, GitHub, PlDoc and SWISH.