Markup Language Description

This is (for now a placeholder for) a summary description (through examples) of the markup language used in the Prolog commons.