mage

This is very cool! If you're looking for a good test suite, I wonder if you might be able to adapt any of the tests available in XMage? They have a pretty extensive test suite (such as for copy effects [0]) and if you point your agent at their code, I wonder how many could be usefully adapted to your system? [0] - https://github.com/magefree/mage/tree/master/Mage.Tests/src/...

If you're interested in a FOSS MTG clone check out XMAGE and Forge. They don't have every card but they do have a whole lot. https://github.com/magefree/mage https://github.com/Card-Forge/forge

There is also Xmage https://github.com/magefree/mage

Yeah, that surprised me too, given that https://github.com/magefree/mage is open source and pretty actively developed. But watching the rest of the video it looks like his implementation only needed to support <20 different cards that he picked, so the limited rule set he needed might have been easy enough to write.

My guess is that fully modeling MtG's rules in Datalog would take a lot more work, because MtG's rules are a lot more complex. Looking through the source for one of the freely-available game engines like https://github.com/magefree/mage would probably be more informative, though. EDIT: I found an old project working on implementing the MtG rules in Prolog: https://github.com/stassa/Gleemin. It's definitely more concise than XMage's Java, but you can still get an idea of how much work it would take, especially since that project notes some pretty significant limitations that it didn't get to.