Syntax - Comments

Text files with NL and PR-format knowledge can include comments. The standard

/* this is a comment */

syntax is used (%-prefixed comments are not used).

Comments are removed before knowledge is parsed. This imposes some constraints on text literals, i.e. they can not include /* or */ since these will be confused by true comment beginnings or ends.

Comments can not be nested.

Comments in XML-format files follow XML comment syntax conventions.