Module Ic.HeadLiteral

module HeadLiteral: sig .. end

type literal 

val get_atom : literal -> Term.term

val get_predicate : literal -> Predicate.predicate

val make_literal : Predicate.predicate_table -> Term.term -> literal