4 ms·
The backtracking in sicp's logic language is more like minikanren than Prolog. What minikanren offers in addition is better integration with Scheme (and more pa
by abecedarius 11y ago
The backtracking in sicp's logic language is more like minikanren than Prolog. What minikanren offers in addition is better integration with Scheme (and more painful syntax).
Upvoting; just had a well-actually to add.
- kragen 11y agoHmm, that's an interesting point. I didn't realize that.