Interpformat

The models (structures) in Mace4 output files can be transformed in various ways with the program Interpformat.

The transformations are listed here.

• portable: This transformation simply extracts the structure from the file and reprints it in the same (portable) format, with one line for each operation. The result should be acceptable to any of the LADR programs that tak portable structures.
• portable2: This is similar to portable, except that the binary operations are split across multiple lines to make them more human-readable. The result should be acceptable to any of the LADR programs that tak portable structures.
• tabular: This form is designed to be easily readable by humans. It is not meant for input to other programs.
• raw: This form is a sequence of natural numbers.
• cooked: This form is a sequence of ground terms.
• xml: This is an XML form. Here is a DTD for LADR interpretations, and here is an XML stylesheet for transforming the XML to HTML.
• tex: This generates LaTeX source for the interpretation.

Examples

The following Mace4 job creates an output file containing one model in "portable" (the default) format.

mace4 -c -f x2.in > x2.mace4.out

interpformat portable  -f x2.mace4.out > x2.portable
interpformat portable2 -f x2.mace4.out > x2.portable2
interpformat tabular   -f x2.mace4.out > x2.tabular
interpformat raw       -f x2.mace4.out > x2.raw
interpformat cooked    -f x2.mace4.out > x2.cooked
interpformat xml       -f x2.mace4.out > x2.xml
interpformat tex       -f x2.mace4.out > x2.tex