Subsumption
Open
enhancement
- Dominant language
- Rust
- Stars
- 0
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
This is a cool package:
https://www.swi-prolog.org/pack/list?p=subsumes
```prolog
?- f(X, Y) subsumes G.
G = f(_A, _B),
X subsumes _A,
Y subsumes _B.
?- f(X) subsumes Y, Y subsumes X. % Example with induced cyclic data.
X = Y, Y = f(Y).
?- X subsumes Y, X = g(_).
X = g(_A),
Y = g(_B),
_A subsumes _B.
```
See also: https://ceur-ws.org/Vol-1865/paper-03.pdf
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.