Part XIII: Syntax

This part gives the syntactic grammar for Predica. The expression grammar is aligned with the current proof-of-concept parser, especially for path expressions, filters, folds, set operators, renaming and let expressions.

The surrounding program and type-definition grammar describes the intended language structure and may be broader than the current proof-of-concept parser.