Request guidance for a prototype required in the lattepanda series

The application is a theorem prover in 80386 exe's at 351 KB in Ada95 or at 674 KB in True BASIC (TB).

Input is in text file submitted via wi-fi, with output statistic to screen monitor and archived detail to 32 GB flash drive dongle and sent back to the mother ship.

Input file size is 32KB for Ada95 and 1MB for TB with average input size less than 256-bytes.

AI confects an input script based on conversion of an utterance to words that are translated as variables for nouns, logical connectives for verbs, and operators for modifiers.

I am reachable off-line at info@cec-services and 719.201.9534.

Colin