knowsys / knowsys/nemo

Min aggregation does not work correctly for strings

Open
#638 1 comment 0 reactions 0 assignees View on GitHub
aggregates builtins
Dominant language
Rust
Stars
289
Forks
21
PR merge metrics
No merged PRs in 30d

Description

```
input("b") .
input("a") .
output(#min(?i)) :- input(?i) .
```
Expected: "a"
Got: "b"

The first string in the program seems to be the one selected by `#min`.

Contributor guide

Open the contributing guide

Research direction

No source file or test is named in the issue. Reproduce the provided program and trace the string handling for #min; done means the result is "a" rather than the first input string, with coverage for this case.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
backend
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.