Is there a such thing as "unifiable data structures"? That is, data structures that have their normal operations with reasonable performance guarantees, but support efficient unification? What keywords should I be searching for?
-
-
Replying to @BrandonBloom
Probably some name clashing going on but I know unification from logic programming, is that what you mean?
1 reply 0 retweets 0 likes
Replying to @deech
I mean that I have two values that represent incomplete information and I want to get out a new value that represents the union of the information in both; aborting on contradiction.
3:30 PM - 13 Oct 2018
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.