started signature for prolog term
updated prologTerm with slightly different interface, and
replaced Ast_tptp.general_data by prolog_term
partial implementation of prolog term