H_{2}WO_{4} (tungstic acid)
Tungstic acid is a substance reacting with problems in the first order logic with special arithmetical functions (as defined in the TPTP library), producing a code in Wolfram's Mathematica that attempts to find a solution. The first version is a simple script translating between the two languages and calling builtin functions of Mathematica to solve the problem. Various combinations of the following three are used:
Implementation Tungstic acid is a pair of Perl scripts: one for parsing TPTP problems into Mathematica, the other for processing Mathematica's output. They were tested with the textbased interface of Mathematica 7.0. The input is in the TFF0 syntax of the TPTP library. The scripts can be downloaded here:
