Package alice.tuprolog

Examples of alice.tuprolog.SolveInfo

49
50
51
52
53
54
55
56
57
58
59
60
  protected void assertTerm(jp.ac.kobe_u.cs.prolog.lang.StructureTerm term) {
    if (logger.isDebugEnabled()) {
      logger.debug("+" + term);
    }
    try {
      SolveInfo info = executeGoal(new PRED_assert_1(term, null) + ".");
      if (!info.isSuccess()) {
        throw new IllegalStateException("Failed to assert " + term);
      }
    } catch (MalformedGoalException e) {
      throw new IllegalStateException(e);
    }
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
    long startTime = 0;
    boolean traceEnabled = logger.isTraceEnabled();
    if (traceEnabled) {
      startTime = System.nanoTime();
    }
    SolveInfo result = engine.solve(goal);
    if (traceEnabled) {
      logger.trace("Executing " + goal + " took "
          + (System.nanoTime() - startTime) / 1000000.0 + " ms");

    }
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
90
  protected void retractTerm(jp.ac.kobe_u.cs.prolog.lang.StructureTerm term) {
    if (logger.isDebugEnabled()) {
      logger.debug("-" + term);
    }
    try {
      SolveInfo info = executeGoal(new PRED_retract_1(term, null) + ".");
      if (!info.isSuccess()) {
        throw new IllegalStateException("Failed to assert " + term);
      }
    } catch (MalformedGoalException e) {
      throw new IllegalStateException(e);
    }
View Full Code Here
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
    String goal = pedicate.toString();
    goal = goal.replace(p.toString(), "P") + ".";
    if (logger.isDebugEnabled()) {
      logger.debug(goal);
    }
    SolveInfo info;
    try {
      info = executeGoal(goal);
    } catch (MalformedGoalException e) {
      throw new IllegalStateException(e);
    }
    if (!info.isSuccess()) {
      throw new IllegalStateException("Failed to call " + goal);
    }
    Term binding;
    try {
      binding = info.getTerm("P");
    } catch (NoSolutionException e) {
      throw new IllegalStateException("Failed to call " + goal, e);
    } catch (UnknownVarException e) {
      throw new IllegalStateException("Failed to call " + goal, e);
    }
View Full Code Here
TOP

Related Classes of alice.tuprolog.SolveInfo

  • org.cspoker.ai.opponentmodels.prolog.tuprolog.TuPrologModel
    • 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.