Crate uindex[−][src]
Expand description
uindex generates inference engines on top of Parsing Expression Grammars (PEGs). It allows you to specify the syntax of your facts in a PEG, and automatically obtain an inference engine able to deal with knowledge bases composed of facts and rules compliant with the provided PEG.
So on one hand, uindex helps dealing with data, in whatever form or shape. It allows you to keep your data in knowledge bases under any shape and structural detail you may feel appropriate, and to query and massage it efficiently at any level of the detail you may have bothered to specify.
On the other hand, uindex allows you to develop programs under the paradigm of logic programming, with a syntax that is exactly as expressive and clear as you care to specify.
Finally, it is worth noting that uindex is very performant, and furthermore, that its performance is fully independent of the size of the knowledge bases it deals with.
Check out the README for more detailed info.
Modules
constants | |
facttree | |
kbase | |
kparser | |
lexicon | |
matching | |
parse_result | |
path | |
segment |
Functions
derive_dbase |