Package net.sf.kpex.prolog

Examples of net.sf.kpex.prolog.Fun

45
46
47
48
49
50
51
    Clause SuperC = new Clause(Vs, C);
    SuperC.dict = C.dict;
    Clause NamedSuperC = SuperC.cnumbervars(false);
    Term Ns = NamedSuperC.getHead();
    Term NamedC = NamedSuperC.getBody();
    return new Fun("clause", C, Vs, NamedC, Ns);
  }
View Full Code Here
208
209
210
211
212
213
214
215
216
    {
      found = Const.NO;
    }
    else
    {
      found = new Fun("the", found.copy());
    }
    return found;
  }
View Full Code Here
295
296
297
298
299
300
301
302
303
304
    Vector To = new Vector();
    for (String key : keySet())
    {
      all0(max, To, key, FXs);
    }
    Fun R = new Fun("$", To.size());
    // IO.mes("RR"+R);
    To.copyInto(R.args);
    return ((Cons) R.listify()).args[1];
  }
View Full Code Here
314
315
316
317
318
319
320
321
322
323
    all0(max, To, k, FXs);
    if (To.size() == 0)
    {
      return Const.NIL;
    }
    Fun R = new Fun("$", To.size());
    To.copyInto(R.args);
    Term T = ((Cons) R.listify()).args[1];
    return T;
  }
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
112
113
114
        IO.println("no");
        break;
      }
      if (Names instanceof Fun)
      {
        Fun NamedR = (Fun) R.numberVars();
        for (int j = 0; j < Names.getArity(); j++)
        {
          IO.println(((Fun) Names).getArg(j) + "=" + NamedR.getArg(j));
        }
        // IO.println(";");
        if (!moreAnswers(i))
        {
          E.stop();
View Full Code Here
23
24
25
26
27
28
29
class FunToken extends Fun
{
  public FunToken(String s)
  {
    super("funToken", new Fun(s));
  }
View Full Code Here
42
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
102
103
104
105
106
107
108
109
110
111
112
    String mes = e.getMessage();
    if (null == mes)
    {
      mes = "unknown_error";
    }
    Fun f = new Fun("error", new Const(type), new Const(mes), new Fun("line", new Int(line)));
    Clause C = new Clause(f, Const.TRUE);
    if (verbose)
    {
      IO.errmes(type + " error at line:" + line);
      IO.errmes(C.prettyPrint(), e);
View Full Code Here
205
206
207
208
209
210
211
212
213
214
215
    {
      t = getList();
    }
    else if (n instanceof FunToken)
    {
      Fun f = (Fun) t;
      f.args = getArgs();
      t = builtins.toBuiltin(f);
    }
    else
    {
View Full Code Here
53
54
55
56
57
58
59
60
61
62
63
64
65
66
      g.setColor(color);
    }
    Enumeration E = V.elements();
    while (E.hasMoreElements())
    {
      Fun T = (Fun) E.nextElement();
      IO.mes("drawing: " + T);
      int x = T.getIntArg(0);
      int y = T.getIntArg(1);
      int dx = T.getIntArg(2);
      int dy = T.getIntArg(3);
      g.fill3DRect(x, y, dx, dy, true);
    }
  }
View Full Code Here
TOP

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

  • net.sf.kpex.builtins.Arg
  • net.sf.kpex.builtins.Collect
  • net.sf.kpex.builtins.NewFun
  • net.sf.kpex.DataBase
  • net.sf.kpex.gui.builtins.Draw
  • net.sf.kpex.gui.GuiBuiltins
  • net.sf.kpex.gui.JinniCanvas
  • net.sf.kpex.Init
  • net.sf.kpex.io.ClauseReader
  • net.sf.kpex.parser.FunToken
    • 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.