Package edu.buffalo.sneps

Class Summary

JavaSnepsAPI	Class of connections between Java and the SNePS knowledge representation and reasoning system.
Substitution	Represents a substitution (a set of pairs, each of which is a variable and a term).