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