mini-kanren quelle est la différence entre cond-a cond-u et cond-e?

Question

J'ai essayé d'utiliser une implémentation de mini-kanren dans clojure. Mais lutté pour comprendre la différence entre cond-a cond-u et cond-e. J'ai l'impression d'être très clair à propos de cond-e mais la compréhension de cond-a et de cond-u est silencieuse.

cond-e prend un ensemble de buts et essaie ensuite chacun d'eux ... c'est-à-dire qu'il essaye toutes les branches qui réussissent. Au contraire, cond-a et cond-u s'engagent au contraire à la branche dont le premier prédicat a réussi et cond-a renvoie toutes les possibles unifications réussies après. alors que cond-u renvoie seulement la première unification réussie ... mais il semble cependant que cette compréhension n'est pas correcte quand je l'utilise. Quelqu'un peut-il m'aider à clarifier cette compréhension?

Answer 1

-e donne cond toutes les réponses de toutes les branches qui réussissent

-i donne cond toutes les réponses, mais les entrelace.

-a donne cond que les réponses de la première branche réussie

-u donne cond seule la première réponse de la première branche réussie

Answer 2

Je voulais juste obtenir ma tête autour de ces questions. Il y a une implémentation de schéma simplifié Sokuza-kanren avec quelques commentaires, je vais le lire ce soir.