This is a paper I wrote for ICFDG that takes some work from my previous life as a roboticist and applies it to Twig.  However, it’s situated in a tradition that the games community, and even the present-day AI community isn’t very familiar with, so much of the paper is an attempt to survey and explain the literature on using combinational logic for inference – why you’d want to do it, why it’s limited, and what you can do to overcome some of the limitations.  And even then, I’m worried that it won’t be transparent to the reader; not because it’s technically difficult, but just because the motivations won’t be clear.  Anyhow, any advice would be welcome.