Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

Still all ugly as sin, of course. :slightly_smiling_face: But I now have a usable platform for demonstrating explainable, declarative encodings of legislation, with hypothetical and reverse reasoning, etc.

Interesting!

How do you get "jane threw scissors" by abduction? How do we know jane didn't throw paper?

Ah — I see what I missed. Jane throws scissors _just in Answer #1_. Presumably, Answer #2 is jane throwing paper (jane wins), and Answer #3 is jane throwing rock (tie)?

Answer 1 is bob wins. Only one possibility, Jane threw scissors. Answer 2 is jane wins. Three possibilities, there: jane beats jane with each of the three signs. (The rule is poorly encoded, because it doesn't require a disunity between the players.)