Package net.sf.kpex.prolog

Examples of net.sf.kpex.prolog.Term.undoBinding()

69
70
71
72
73
74
75
76
77
    // if(to>size())
    // IO.assertion("unwind attempted from smaller to larger top");
    for (int i = size() - to; i > 0; i--)
    {
      Term V = pop();
      V.undoBinding();
    }
  }
}
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.