Examples of net.sf.kpex.prolog.Var

net.sf.kpex.prolog.Var
Part of the Term hierarchy implementing logical variables. They are subject to reset by application of and undo action keep on the trail stack. @see Trail @see Prog @see Clause @see Nonvar

  }


  private final Term makeVar(String s)
  {
    s = s.intern();
    Var X;
    long occ;
    if (s == ANONYMOUS)
    {
      occ = 0;
      X = new Var();
      s = X.toString();
    }
    else
    {
      X = (Var) dict.get(s);
      if (X == null)
      {
        occ = 1;
        X = new Var();
      }
      else
      {
        occ = ((Int) dict.get(X)).longValue();
        occ++;

View Full Code Here

   * @see net.sf.kpex.prolog.FunBuiltin#exec(net.sf.kpex.prolog.Prog)
   */
  @Override
  public int exec(Prog p)
  {
    Term R = p.getDatabase().all(getArg(0).getKey(), new Var());
    return putArg(1, R, p);
  }

View Full Code Here

  }


  @Override
  public int exec(Prog p)
  {
    Var X = (Var) getArg(0);
    MultiVar V = new MultiVar(getArg(1), p);
    X.bindTo(V, p.getTrail());
    return 1;
  }

View Full Code Here

TOP

Related Classes of net.sf.kpex.prolog.Var

net.sf.kpex.builtins.AtKey

net.sf.kpex.builtins.Def

net.sf.kpex.parser.Lexer

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.