Dmitry Va
First Order Logic Parser for NLP AI system
Predicates knowledge base text file parser with the grammar like [c1]P(x1, ..., xn) => [c]A, [c2]B(x1), [d]C(x1,x2), ..., [k]D(xn) into Petri net graph representation, where x1, ..., xn are variables, P is the predicate symbol, A,B,C are function symbols, c,d,k - cases