sig
  val prologpp_clause : Symbols.eva_symbol_list -> Clause.clause -> unit
  val prologpp_tclause : Symbols.eva_symbol_list -> Clause.tclause -> unit
end