Desde Delphi ejecutar el ms-dos y que el ms-dos ejecute una aplicacion
 

Hola a todos:
Tengo una duda que no me permite avanzar, ojala me puedan orientar.

Tengo que ejecutar un programa llamado otter (un demostrador de teoremas basado el lógica de primer orden) al cual le paso dos parámetros archivo.in que es el archivo de entrada y archivo.out que es nombre que tendra el archivo de salida. Desde línea de comandos se hace así:
c:\otter <archivo.in> archivo.out
pero requiero hacer lo mismo pero desde Delphi, como puedo hacerlo?
ya lo intente con WinExec y con ShellExecute, pero no lo he logrado. Agradecería muchisimo si alguien puede orientarme.

has intentado usar CreateProcess, en trucomania hay una forma de ejecutar una aplicación MSDOS y que el resultado se grabe a un memo, en tu caso podrias redireccionarlo a un archivo

No hace falta ir a trucomania truco 54 ;)

y pensar que hace poco tiempo necesitaba ese truco con urgencia, gracias Seoane

otra opción
 

encontre una opción mas, por si alguien se interesa seria escribir la instrucción en un archivo .bat y ejecutarlo con winexec así:

procedure TForm1.Button1Click(Sender: TObject);
begin
winexec('c:\algo\autoexec2.bat',1);
end;

y en el .bat va la instrucción con sus parametros así:

otter <socrates.in>salida.out

en este caso los archivos .in y .out van en la carpeta del proyecto.