Examples of SymbolTerm

com.googlecode.prolog_cafe.lang.SymbolTerm
jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Atom.
The SymbolTerm class represents a Prolog atom.
```
 Term t = SymbolTerm.makeSymbol("kobe"); String name = ((SymbolTerm) t).name(); 
```
@author Mutsunori Banbara (banbara@kobe-u.ac.jp) @author Naoyuki Tamura (tamura@kobe-u.ac.jp) @version 1.0

Examples of jp.ac.kobe_u.cs.prolog.lang.SymbolTerm

      Term car = ((ListTerm) tmp).car().dereference();
      if (car.isVariable()) {
        throw new PInstantiationException(this, 4);
      }
      if (car.isStructure()) {
        SymbolTerm functor = ((StructureTerm) car).functor();
        Term[] args = ((StructureTerm) car).args();
        if (functor.equals(SYM_ALIAS_1)) {
          alias = args[0].dereference();
          if (!alias.isSymbol()) {
            throw new IllegalDomainException(this, 4,
                "stream_option", car);
          }

View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.SymbolTerm

      }
      Term[] args = new Term[n];
      for (int i = 0; i < n; i++) {
        args[i] = new VariableTerm(engine);
      }
      SymbolTerm sym = SymbolTerm.makeSymbol(((SymbolTerm) a2).name(), n);
      if (!a1.unify(new StructureTerm(sym, args), engine.trail)) {
        return engine.fail();
      }
      return cont;
    }

View Full Code Here

0 1

TOP

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.