List Question
10 TechQA 2024-12-29 23:32:57Why does 'The Reasoned Schemer' add an 'o' to the end of its functions?
467 views
Asked by hawkeye
MiniKanren Racket multiplication for unary numbers
109 views
Asked by NAD
Infinite loop with `counto` relation in core.logic
93 views
Asked by oper0
mini-Kanren, core.logic, clojure: Reasoned Scheme Exercise 60
917 views
Asked by AudioBubble
Arenas where core.logic dominates [soft]
1.1k views
Asked by AudioBubble
conda, condi, conde, condu
3.6k views
Asked by user1383359
How to use quote and unquote to more faithfully translate The Reasoned Schemer into Racket?
176 views
Asked by Jeffrey Benjamin Brown
In Racket's mini-kanren libraries, where is condi?
195 views
Asked by Jeffrey Benjamin Brown
In logic programming, what is unnesting for?
404 views
Asked by Jeffrey Benjamin Brown
Feature structure unification in minikanren
288 views
Asked by Matías Guzmán Naranjo