Prolog Syntax

In this section we show what syntax the Jekejeke Prolog interpreter accepts and how the syntax is interpreted relates to the mathematical concepts. The syntax covers multiple levels consisting of tokens, terms and texts. The syntax is dynamically extensible by operator definitions. Each level can be characterized as follows: