sig
  val prolog_parser :
    Term.symbol_table -> char Stream.t -> Term.term Stream.t
end