Package org.projog.core.term

Interface VariableAttribute

public interface VariableAttribute

Method Summary

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

Method Details

getName

String getName()

postUnify

boolean postUnify(Variable variable,
 Term attributeValue)

join

Term join(Term a,
 Term b)