Gotten from a websearch prompted by this post saying that MTG Arena uses the CLIPS expert system under the hood: https://news.ycombinator.com/item?id=48499939