Package net.sf.kpex.prolog

Examples of net.sf.kpex.prolog.Term

40
41
42
43
44
45
46
47
   * @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
41
42
43
44
45
46
47
48
   */
  @Override
  public int exec(Prog p)
  {
    Source S = (Source) getArg(0);
    Term Xs = S.toList();
    return putArg(1, Xs, p);
  }
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
   * @see net.sf.kpex.prolog.FunBuiltin#exec(net.sf.kpex.prolog.Prog)
   */
  @Override
  public int exec(Prog p)
  {
    Term I = getArg(0);
    Fluent f;
    if (I instanceof CharReader)
    {
      f = new ClauseReader((I), p);
    }
View Full Code Here
43
44
45
46
47
48
49
50
51
   */
  @Override
  public int exec(Prog p)
  {
    DataBase db = (DataBase) ((JavaObject) getArg(0)).toObject();
    Term X = getArg(1);
    Term R = db.cin(X.getKey(), X);
    return putArg(2, R, p);
  }
View Full Code Here
43
44
45
46
47
48
49
50
  @Override
  public int exec(Prog p)
  {
    int i = getIntArg(0);
    Fun F = (Fun) getArg(1);
    Term A = i == 0 ? new Const(F.getName()) : i == -1 ? new Int(F.getArity()) : F.args[i - 1];
    return putArg(2, A, p);
  }
View Full Code Here
42
43
44
45
46
47
48
49
   */
  @Override
  public int exec(Prog p)
  {
    Source S = (Source) getArg(0);
    Term Xs = p.getBuiltins().toBuiltin(((Const) S.toFun()));
    return putArg(1, Xs, p);
  }
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
84
    return t;
  }

  static public final boolean isError(Clause C)
  {
    Term H = C.getHead();
    if (H instanceof Fun && "error".equals(((Fun) H).getName()) && H.getArity() == 3
        && !(((Fun) H).args[0].getRef() instanceof Var))
    {
      return true;
    }
    return false;
View Full Code Here
182
183
184
185
186
187
188
189
    return t;
  }

  protected Term getTerm() throws IOException
  {
    Term n = next();
    return getTerm(n);
  }
View Full Code Here
188
189
190
191
192
193
194
195
196
197
198
    return getTerm(n);
  }

  protected final Term getTerm(Term n) throws IOException
  {
    Term t = n.token();
    if (n instanceof VarToken || n instanceof IntToken || n instanceof RealToken || n instanceof ConstToken)
    {
      // is just OK as it is
    }
    else if (n instanceof StringToken)
View Full Code Here
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
    return t;
  }

  private final Term[] getArgs() throws IOException
  {
    Term n = next();
    if (!(n instanceof LparToken))
    {
      throw new ParserException("'('", "in getArgs", n);
    }
    Vector v = new Vector();
    Term t = getTerm();
    v.addElement(t);
    for (;;)
    {
      n = next();
      if (n instanceof RparToken)
      {
        Term args[] = new Term[v.size()];
        v.copyInto(args);
        return args;
      }
      else if (n instanceof CommaToken)
      {
View Full Code Here
TOP

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

  • net.sf.kpex.BlackBoard
  • net.sf.kpex.builtins.Arg
  • net.sf.kpex.builtins.AtKey
  • net.sf.kpex.builtins.Collect
  • net.sf.kpex.builtins.Compute
  • net.sf.kpex.builtins.Ctime
  • net.sf.kpex.builtins.DbAdd
  • net.sf.kpex.builtins.DbCollect
  • net.sf.kpex.builtins.DbRemove
  • net.sf.kpex.builtins.Discharge
    • Copyright © 2018 www.massapicom. 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.