Implementation

perl scripts

• Generate WWW interface from database
• Accept submission from browser
• Extract system recommendations
• Invoke tptp2X
• Control system execution

Available at

http://www.cs.jcu.edu.au/cgi-bin/tptp/SystemOnTPTPFormMaker