Bind the ith variable in the current envionment to the given value.
Checks that the new binding is compatible with any current binding.
false if the binding fails
Bind a variable in the current envionment to the given value.
Checks that the new binding is compatible with any current binding.
Parameters: var - a Node_RuleVariable defining the variable to bind Parameters: value - the value to bind false if the binding fails
Bind a variable in the current envionment to the given value.
Overrides and ignores any current binding.
Parameters: var - a Node_RuleVariable defining the variable to bind Parameters: value - the value to bind
Return the most ground version of the node. If the node is not a variable
just return it, if it is a varible bound in this enviroment return the binding,
if it is an unbound variable return the variable.
Instantiate a triple pattern against the current environment.
This version handles unbound varibles by turning them into bNodes.
Parameters: clause - the triple pattern to match Parameters: env - the current binding environment a new, instantiated triple