This repository try to make a easy example demonstrates of custom operators in Prolog and their equivalence with DCGs (Definite Clause Grammars). For clarity, we start by "modifying" a simple ...

This brings an interesting bag of complexity to a Prolog parser: The parser must be aware of what operators are in effect at any current line to be able to properly parse it. This is why a "grammar ...