Package ru.bmstu.datalog.data

Examples of ru.bmstu.datalog.data.Fact

137
138
139
140
141
142
143
144
145
146
   * Fact ::= Predicate '.'
   * @return {@link Fact}
   * @throws Exception
   */
  private static Fact parseFact() throws Exception {   
    Fact fact = new Fact(parsePredicate());   
    parseSymbol('.');
       
    return fact;   
  }
View Full Code Here
TOP

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

  • 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.