Package jp.ac.kobe_u.cs.prolog.builtin

Examples of jp.ac.kobe_u.cs.prolog.builtin.PRED_assert_1

49
50
51
52
53
54
55
56
57
58
59
  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
53
54
55
56
57
58
59
60
61
    if (logger.isDebugEnabled()) {
      logger.debug("+" + term);
    }
    // Term termWithPackage = term;//new StructureTerm(delimiter,new
    // Term[]{packageName, term});
    if (!executeGoal(new PRED_assert_1(), term)) {
      throw new IllegalStateException("Failed to assert " + term);
    }
  }
View Full Code Here
TOP

Related Classes of jp.ac.kobe_u.cs.prolog.builtin.PRED_assert_1

  • jp.ac.kobe_u.cs.prolog.lang.StructureTerm
  • jp.ac.kobe_u.cs.prolog.lang.Term
  • org.cspoker.ai.opponentmodels.prolog.cafe.PrologCafeModel
  • 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.