Request: I'd love to learn more logic programming, SAT solvers, and equation solvers, but in a language I'm familiar with. Maybe python? But where to start?
I played with some Scala mini Karen implementations before, but the ones I tried were all half-baked or non-working.
I played with some Scala mini Karen implementations before, but the ones I tried were all half-baked or non-working.