Package com.declarativa.interprolog

Examples of com.declarativa.interprolog.TermModel

185
186
187
188
189
190
191
192
193
194
195
196
    long length = 0;

    {
      String G = "leg(L),buildTermModel(L,LL)";
      TermModel length_model = (TermModel) (prologEngine.deterministicGoal(G, "[LL]"))[0];
      length = length_model.intValue();
    }

    long endTime = System.currentTimeMillis();

    System.out.println("Got " + length + " solutions in "
View Full Code Here
TOP

Related Classes of com.declarativa.interprolog.TermModel

  • puc.tecweb.trust.prolog.PrologTrustEngine
    • 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.