org.projog.core.term

Interface VariableAttribute

public interface VariableAttribute

Method Summary

Modifier and Type	Method and Description
String	getName()
Term	join(Term a, Term b)
boolean	postUnify(Variable variable, Term attributeValue)

Method Detail

getName

String getName()

postUnify

boolean postUnify(Variable variable,
                  Term attributeValue)

join

Term join(Term a,
          Term b)