Module Logtk.FeatureVectorSource

Feature Vector indexing

Feature Vector indexing (see Schulz 2004) for efficient forward and backward subsumption.

This allows to retrieve clauses that (potentially) subsume or are subsumed by a given query clause.