Show HN: A Clojure implementation of logic programming language in SICP (opens in new tab)

(github.com)

56 pointsjdormit6y ago6 comments

6 comments

5 comments · 2 top-level

markc6y ago· 2 in thread

Nice!

The direct use of symbols makes the data set look unlike most Clojure code, but it's really pretty handy in this case. I'll have to remember that.

Btw, love the joke names from the (original) data set:

Alyssa P Hacker, Cy D Fect, Lem E Tweakit, Louis Reasoner, and Aull DeWitt

Cute. :)

jdormitOP6y ago

Thanks! My favorite parts of the sample dataset are the Boston area names - since SICP was written and taught at MIT its authors were really familiar with the area, and as a Boston native I particularly appreciate the (still-used) joke names Slumerville and Swellesley (for Somerville and Wellesley respectively).

markc6y ago

I enjoyed those too.. for example, Onion (Union) Square, not too far from where I live.

I talked for a while with Sussman at a Clojure conference last year, partly to let him know I enjoyed his presentation, but also to ask how his co-author was doing. I had Hal as a mentor for a short while in the 90s (less than a year) but it was a real boost to my career. Oddly, I never cracked SICP until a decade later.

1 more reply

thesuperbigfrog6y ago· 1 in thread

Very nice work!

Reminds me of "The Reasoned Schemer" by Daniel Friedman.

markc6y ago

Very nice indeed! Fun to see this implementation in Clojure direct from SICP. Someday I hope somebody completes SICP in Clojure. AFAICT it's been attempted many times but none have finished.

Btw, miniKanren from Reasoned Schemer has long been available in Clojure as core.logic (with some minor differences). https://github.com/clojure/core.logic

j / k navigate · click thread line to collapse

6 comments

5 comments · 2 top-level

markc6y ago· 2 in thread

Nice!

The direct use of symbols makes the data set look unlike most Clojure code, but it's really pretty handy in this case. I'll have to remember that.

Btw, love the joke names from the (original) data set:

Alyssa P Hacker, Cy D Fect, Lem E Tweakit, Louis Reasoner, and Aull DeWitt

Cute. :)

jdormitOP6y ago

Thanks! My favorite parts of the sample dataset are the Boston area names - since SICP was written and taught at MIT its authors were really familiar with the area, and as a Boston native I particularly appreciate the (still-used) joke names Slumerville and Swellesley (for Somerville and Wellesley respectively).

markc6y ago

I enjoyed those too.. for example, Onion (Union) Square, not too far from where I live.

I talked for a while with Sussman at a Clojure conference last year, partly to let him know I enjoyed his presentation, but also to ask how his co-author was doing. I had Hal as a mentor for a short while in the 90s (less than a year) but it was a real boost to my career. Oddly, I never cracked SICP until a decade later.

1 more reply

thesuperbigfrog6y ago· 1 in thread

Very nice work!

Reminds me of "The Reasoned Schemer" by Daniel Friedman.

markc6y ago

Very nice indeed! Fun to see this implementation in Clojure direct from SICP. Someday I hope somebody completes SICP in Clojure. AFAICT it's been attempted many times but none have finished.

Btw, miniKanren from Reasoned Schemer has long been available in Clojure as core.logic (with some minor differences). https://github.com/clojure/core.logic

j / k navigate · click thread line to collapse