Datalog.Atom
type t
val make : predicate -> Term.t list -> t
val predicate : t -> predicate
val terms : t -> Term.t list
val equal : t -> t -> bool
val triple : Rdf.Triple.t -> t
val pp : t Fmt.t