Package ru.bmstu.datalog.data

Examples of ru.bmstu.datalog.data.Rule

102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
   * Rule ::= Predicate :- Predicate (',' Predicate)*
   * @return {@link Rule}
   * @throws Exception
   */
  private static Rule parseRule() throws Exception {   
    Rule rule = new Rule();
    rule.setHead(parsePredicate());
   
    parseString(":-");
   
    rule.addToBody(parsePredicate());
   
    while (skipSymbol(','))
      rule.addToBody(parsePredicate());
   
    parseSymbol('.');
   
    return rule;
  }
View Full Code Here
212
213
214
215
216
217
218
219
220
221
       
        ArrayList<Predicate> answerBody = new ArrayList<Predicate>();
        for (Predicate predicate : rule.getBody())
          answerBody.add(unifier.unifyPredicate(predicate));
       
        answer.add(new Rule(answerHead, answerBody));
      }
    }
    return answer;
  }
View Full Code Here
TOP

Related Classes of ru.bmstu.datalog.data.Rule

  • ru.bmstu.datalog.algo.DatalogAlgo
  • ru.bmstu.datalog.algo.DatalogParser
    • 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.