next up previous
Next: Notation Up: Common Syntax of the Previous: Common Syntax of the


The language proposed in the following is intended to be a common exchange format for logic problem settings. It is thought to be a format that can easily be parsed such that it forms a compromise between the needs of the different groups. Therefore, it is kept as simple as possible, in particular, the grammar of the language can be easily processed by some automatic parser-generator.

In any case it will be necessary to provide tools that transform files from the present syntax into other standard formats (e.g., Otter [6] or TPTP [9]) and vice versa. Currently we can (partly) transform Otter input files to DFG-Syntax files and vice versa.

Uwe Brahm