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

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

79
80
81
82
83
84
85
86
87
88
89
  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
78
79
80
81
82
83
84
85
86
  protected void retractTerm(StructureTerm term) {
    if (logger.isDebugEnabled()) {
      logger.debug("-" + term);
    }
    term = new StructureTerm(delimiter, new Term[] { packageName, term });
    if (!executeGoal(new PRED_retract_1(), term)) {
      throw new IllegalStateException("Failed to retract " + term);
    }
  }
View Full Code Here
TOP

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

  • jp.ac.kobe_u.cs.prolog.lang.Predicate
  • jp.ac.kobe_u.cs.prolog.lang.StructureTerm
  • jp.ac.kobe_u.cs.prolog.lang.Term
  • jp.ac.kobe_u.cs.prolog.lang.VariableTerm
  • 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.