H2WO4 (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 built-in functions of Mathematica to solve the problem. Various combinations of the following three are used:
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 text-based interface of Mathematica 7.0. The input is in the TFF0 syntax of the TPTP library.
The scripts can be downloaded here: