trying to formalize the specs of the picat programming language
An independent grammar and a parser for the Picat language https://picat-lang.org/ .