Interface through which the current bound values of variables
can be found. Many of the details vary between the forward and
backward chaining system - this interface is the minimal one needed
by most builtins the specific implementations offer richer functionality.
author: Dave Reynolds version: $Revision: 1.11 $ on $Date: 2008/01/02 12:07:47 $
Method Summary
public boolean
bind(Node var, Node value) Bind a variable in the current envionment to the given value.
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
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 environment 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: pattern - the triple pattern to match a new, instantiated triple