Javadoc
Resolves a query over a logical domain, or knowledge base and a query. The domain and query to resolve over must
be established by prior to invoking this method. There may be more than one set of bindings that make the query
provable over the domain, in which case subsequent calls to this method will return successive bindings until no
more can be found. If no proof can be found, this method will return null.