search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

Send a file problem in tptp format in Consult.getResponseSystemOnTPTP #5

Closed jonaprieto closed 8 years ago

jonaprieto commented 8 years ago

Nowadays, I can use getResponseSystemOnTPTP with any problem from the TPTP library using a descriptor of the problem. The user must have the chance to use his own tptp problem. The method should have the type:

getResponseWithFileTPTP :: SystemOnTPTP -> FilePath -> String

The above method should modify the variable of type SystemOnTPTP with optProblemSource, and , optUPLOADProblem. And the use the standard method getResponseSystemOnTPTP .

getResponseWithFileTPTP :: SystemOnTPTP -> FilePath -> String
getResponseWithFileTPTP spec file = getResponseSystemOnTPTP $ spec 
     {  optProblemSource ="FileUpload" ,  optUPLOADProblem=file }