Ticket #43 (new enhancement)

Opened 4 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.