100 Languages Speedrun: Episode 23: Ruby Z3

Let's talk about something I made. Once upon a time, "logic programming" was a big thing. The idea was to just give the computer a bunch of mathematical statements, and have it do the math and logic to arrive at answer. There were even whole language...