acgtk

Abstract Categorial Grammar development toolkit
Library acgtkLib.datalogLib
module PredIdMap : Map.S with type key = pred_id
module PredIds : Set.S with type elt = pred_id
type predicate = {
p_id : pred_id;
arity : int;
arguments : term list;(*

It is assumed that the size of the list is the arity

*)
}
val compare : predicate -> predicate -> int
val fake_pred_id : pred_id