Allow infix operators in filter terms
Open
Parser
- Dominant language
- Rust
- Stars
- 289
- Forks
- 21
- PR merge metrics
- No merged PRs in 30d
Description
Currently, one has to write
```
result(?x, ?y) :- r(?x, ?y), OR(NUMGREATER(?x, 2), EQUALITY(?y, 0)) .
```
instead of the more clearer
```
result(?x, ?y) :- r(?x, ?y), OR(?x > 2, ?y = 0) .
```
This will become even more important once we have #772.
Contributor guide
Assessment
This issue has not been assessed yet.