Exemplos de VariableTerm.bind em Java

Exemplo n.º 1

Arquivo: SymbolTerm.java Projeto: rvivekabr/prolog-cafe

 /* Term */
 public boolean unify(Term t, Trail trail) {
   t = t.dereference();
   if (t.isVariable()) {
     ((VariableTerm) t).bind(this, trail);
     return true;
   }
   return eq(this, t);
 }