Ticket #43 (new enhancement)
Opened 3 years ago
support subsumption with unification variables in relations
| Reported by: | kowey | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | GenI 0.22 |
| Component: | core | Version: | |
| Keywords: | Cc: |
Description
Not just the arguments, but the relations themselves.
Note: See
TracTickets for help on using
tickets.
