The Reasoned Schemer by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov ht... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

tobik on Aug 16, 2016 | parent | context | favorite | on: LogicJS adds logic programming to JavaScript

The Reasoned Schemer by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov

https://mitpress.mit.edu/books/reasoned-schemer

It's from the author of miniKanren on which LogicJS is based.

There are implementations for a lot of other languages (other JS implementation too) on

http://minikanren.org/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact