nemo
nemo copied to clipboard
knowsys
A fast in-memory rule engine
Currently tracing an atom that is created through an aggregate results in the following error message: ``` thread 'main' panicked at nemo-physical/src/tabular/operations/filter.rs:128:9: internal error: entered unreachable code: Filter must only...
The logical model currently supports arbitrary data values, which include nested structured ground terms (based on tuples and maps). This is also parsed, and actively used in `@import` and `@export`...
Built-in functions should also work as atoms. In particular, boolean functions, such as `isIri`, should be allowed in rule bodies without having to compare their output to "true". For non-boolean...
expecting to rebase ontop data value refactoring, if that merges beforehand.
The first example produces 1 fact, while the second example produces not facts, which is unexpected. ``` HeapAllocation_Type("", "java.lang.String[]"). ``` ``` HeapAllocation_Type(?heap, ?type) :- ?heap = "", ?type = "java.lang.String[]"....
Currently iris like `` are serialized as `hello%20world` in csv, which is not interpreted as an iri upon reading.
When receiving an error like: `error: Overloading of predicate names by arity is currently not supported.` it would be good, to output the line number and relation which caused he...
[Anyhow](https://docs.rs/anyhow/latest/anyhow/index.html) provides an idiomatic way for passing around errors without the need to keep every single one of them in a combined error enum, which should reduce inter-dependencies without limiting...