Laschoking

Results 8 issues of Laschoking

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

tracing
aggregates

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[]"....

bug

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

enhancement

I would expect a warning, if a relation like "nonInitRelation" neither is imported nor appears in the head of any rule. `relation(?a) :- nonInitRelation(?a).`

enhancement
logical
program analysis

Currently each SPARQL query is required to contain all prefixes that are used within the query. While, for example, wikidata accepts a [list](https://www.wikidata.org/wiki/EntitySchema:E49) of common prefixes, oxigraph will fail during...

enhancement
sparql

Currently the delimiter must be a single character. Maybe the escaping of characters should be allowed to have quotes as separator. `@export Test :- dsv{delimiter="\""}.` This would also allow an...

Parser

The base attribute is wrongly applied to import/ export formats. For example, this will lead to an error: ``` @base . @import p :- csv{resource=""}. @export p :- csv{resource=""}. ```...

bug

The `range` built-in can offer a comfortable way to generate facts. It should process 3 arguments `min, max, step_size` For example: ``` A(range(1, 5, 0.5)). B(range(1, 5, 0.5), range(1, 5,...