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).