13La chaleur
2Répondre
Comprendre le modèle d'exécution de Mini-Kanren
2La chaleur
2Répondre
Est-ce que MiniKanren a l'opérateur "not"?
5La chaleur
1Répondre
correspondant Prolog vs unification miniKanren
2La chaleur
2Répondre
mini-kanren quelle est la différence entre cond-a cond-u et cond-e?
2La chaleur
1Répondre
Pourquoi ce résultat clojure.core.logic/featurec est-il contradictoire?
7La chaleur
2Répondre
Pourquoi les noms miniKanren se terminent-ils toujours par `o`?