sig
  type literal
  val get_atom : Ic.HeadLiteral.literal -> Term.term
  val get_predicate : Ic.HeadLiteral.literal -> Predicate.predicate
  val make_literal :
    Predicate.predicate_table -> Term.term -> Ic.HeadLiteral.literal
end