conda, condi, conde, condu
问题 I\'m reading the Reasoned Schemer. I have some intuition about how conde works. However, I can\'t find a formal definition of what conde / conda / condu / condi do. I\'m aware of https://www.cs.indiana.edu/~webyrd/ but that seems to have examples rather than definitions. Is there a formal definition of conde , conda , condi , condu somewhere? 回答1: In Prolog's terms, condA is "soft cut" , *-> , and condU is "committed choice" – a combination of once and a soft cut, so that (once(A) *-> B ;