4 ms·

Thanks, good idea. I've got he and Mitchell Wand's well-known Essentials of Programming Languages and it taught me a ton. You're right about the conciseness of

Thanks, good idea. I've got he and Mitchell Wand's well-known Essentials of Programming Languages and it taught me a ton. You're right about the conciseness of RS miniKanren - it's just two pages in the "Connecting the Wires" part of the text.

Homunculiheaded 15y ago
Ah yes it is 2 pages, I've edited my comment above, believe it or not they actually have reduced it even further to roughly a page and a half. I was really inspired by the extreme dedication and passion it takes to look at a full logic programming implementation in 2 pages of code and say "nope, we can do better". Dan is definitely one of my all time heroes.