Module Logtk.FeatureVector (.ml)

module FeatureVector: LogtkFeatureVector


Feature Vector indexing (see Schulz 2004) for efficient forward and backward subsumption
module Make (C : LogtkIndex.CLAUSE) : sig .. end