Inline nullary fact is not seeded
Maintainers usually reply within 1 day
Nobody has claimed this yet.
Assessment
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Newbie friendliness
- 55/100
Research direction
Start by tracing how inline facts are parsed and seeded through the easy API, then compare the nullary flag() case with the working unary fact and the insert path described here. Add a regression test for the acceptance example at W=1 and W>1; done when both configurations derive p(100) without an insert.
Written by the indexing model from the issue text.
Description
Found during #2134. Independent of worker count.
An inline nullary fact is not seeded. Through the easy API at W=1, with no insert:
.decl flag()
.decl p(x: int64)
flag().
p(100) :- flag().
A snapshot of p, with or without a step first, returns 0 rows. The unary counterpart works: g(5). p(x) :- g(x). returns p(5). Inserting a flag row with wirelog_easy_insert does derive p(100).
Acceptance
flag().seeds one row offlag, and the program above derivesp(100)at W=1 and W>1, covered by a test.
- Dominant language
- C
- Stars
- 18
- Forks
- 2
- Avg merge
- 8h 15m
- Merged PRs (30d)
- 216
Getting set up
- No Dockerfile or Docker Compose file
- No pull request template
- Read the contributing guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from semantic-reasoning/wirelog
-
Difficulty 2/5 1-3 hours Newbie friendliness 83/100
semantic-reasoning/wirelog#2229 ·
Maintainers usually reply within 1 day
-
Doc: insert executor and incremental consolidation leave sorted runs, not globally sorted headsOpen
Difficulty 1/5 Under an hour Newbie friendliness 83/100
semantic-reasoning/wirelog#2133 ·
Maintainers usually reply within 1 day
-
Difficulty 1/5 Under an hour Newbie friendliness 88/100
semantic-reasoning/wirelog#2042 ·
Maintainers usually reply within 1 day
-
p2-medium
Difficulty 2/5 1-3 hours Newbie friendliness 86/100
semantic-reasoning/wirelog#1914 ·
Maintainers usually reply within 1 day
-
Difficulty 3/5 1-2 days Newbie friendliness 54/100
semantic-reasoning/wirelog#2244 ·
Maintainers usually reply within 1 day
All issues in semantic-reasoning/wirelog
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 67/100
espressif/esp-vision#16 · 1 comment ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
libsdl-org/SDL#16577 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 66/100
Maintainers usually reply within 1 day
-
halt_error adds a trailing newline for non-string input, contrary to the manualPossibly taken @Huang-404-Q claimed this today. Open
Difficulty 1/5 1-3 hours Newbie friendliness 88/100
Maintainers usually reply within 2 days
-
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
MerginMaps/geodiff#272 ·