tptp_naming 
-----------
Usage : tptp_naming syntactic|semantic <List of problem files>

This  script  renames  TPTP  problem  files  with  either  their  syntactic  or 
syntactic=semantic name,  using the  names given  in the  % File  field of  the 
header. 


tptp_convert
------------
Usage : tptp_convert

An interactive script for invoking the tptp2X utility. The user is prompted for
the required information  for the conversion,  and an input file for the Prolog
interpreter is built. The Prolog interpreter is then invoked, taking input from
this file. Written for SICStus Prolog v2.1, but should be fine with Quintus too.
