All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.ClauseIndexTrad

java.lang.Object
   |
   +----prolog.ClauseIndex
           |
           +----prolog.ClauseIndexTrad

class ClauseIndexTrad
extends ClauseIndex

A traditional clause index: consider only the functor of the first argument of the clauses and goal. Note that we assume the arity of the predicate is non-zero.

This class is not public and therefore cannot be used outside this package.

All Packages  Class Hierarchy  This Package  Previous  Next  Index