3 ms·

There is The Reasoned Schemer. https://www.amazon.com/Reasoned-Schemer-MIT-Press/dp/0262535513 https://www.amazon.com/Reasoned-Schemer-MIT-Press/dp/0262535...

• agumonkey 6y ago
  I skimming through it. I wonder if people prefer this or kanren over good old prolog.
  • remexre 6y ago
    I definitely prefer miniKanren, but (with a small sample size) find that non-logic programmers have an easier time reading simple Prolog than equally-simple miniKanren.