2
Я попытался использовать реализацию mini-kanren в clojure. Но он пытался понять разницу между cond-cond-u и cond-e. Я, кажется, совершенно ясно о cond-e, но понимание cond-a и cond-u очень плохое.mini-kanren В чем разница между cond-cond-u и cond-e?
cond-e берет набор целей, а затем пытается каждый из них ... я пытаюсь все ветви, которые преуспевают.
cond-a и cond-u наоборот передают ветке, чей первый предикат преуспевает, и cond-a возвращает все возможные успешные объединения там после. в то время как cond-u возвращает только первую успешную унификацию ... но, похоже, это понимание неверно, когда я его использую. Может ли кто-нибудь помочь мне прояснить это понимание.
Спасибо Джим .. Но что такое чередование? это как будто он получает один успешный ответ от каждой ветки. Прежде чем вернуться в первую ветку для следующего успешного ответа ...? –
согласно вашему объяснению, следующий код должен вести себя одинаково, если я использую cond-u или cond-a вместо cond-? (Бег д (существуют [х] (cond- ((& х: неназначенный) неудачу) (успех)) (& д 20))) Но это, кажется, не так ... объясните, пожалуйста. –