val name : _ t -> stringName of the relation
Check whether this term is a "R(t)" with t an object packed with the appropriate key, and "R" the name of the given relation
val find : Logic.DB.t -> 'a t -> 'a listIterate on all instances of the relation present in the DB
val subset : Logic.DB.t -> 'a t -> 'a t -> unitsubset db r1 r2 adds to db the axiom that r2(X) :- r1(X); in other words, r1 is a subset of r2 as a relation
val from_fun : Logic.DB.t -> 'a t -> ('a -> bool) -> unitThe given function decides of the given relation (if it returns true for a constant, then the relation holds for this constant)
val add_list : Logic.DB.t -> 'a t -> 'a list -> unitAdd given list of axioms
val to_string : _ t -> stringval fmt : Format.formatter -> _ t -> unit