Multi-det Builtins instead of List-based
Open
builtin
enhancement
- Dominant language
- Rust
- Stars
- 0
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
Once prolog's `forall` is implemented, these can become just `[builtin]` and `[directive]`, i.e. multi-deterministic relations.
https://github.com/eignnx/rellog/blob/9c6e43b5bab23d74c0a3a3caafc9030316652466/librellog/src/rt/intrinsics.rs#L779
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.