3 ms·
Indeed I was thinking of a datalog engine. (!) I've had minimal experience with datalog, but you should be able to query it for how it got to its resulting fact
by iamwil 5y ago
Indeed I was thinking of a datalog engine. (!) I've had minimal experience with datalog, but you should be able to query it for how it got to its resulting fact, no? So if you find a fact that doesn't make sense, I thought you'd be able to query for the path it took to get that fact?
If you have a stack per entity, like MTG, how would you find a contradicting rule?
- jasonwatkinspdx 5y agoYou can query it sure, but that doesn't mean the problem will be readily obvious. Again, this stuff can get complex fast, and it's easy to armchair quarterback that away. So the stack approach essentially doesn't, because it forces a linearization. You'd have to rewind back through and see why what the system did didn't match your expectation. But at least the order is comprehensible vs some of the other approaches.