13:26:05jcowanAs a result of historical factors, vector-like SRFIs use the accumulator-first style and all other sequence SRFIs use the accumulator-second style.
13:26:48jcowanA good approach for Committee C to clean this up, IMAO, is to use the names fold and fold-right for accumulator-second (SRFI 1) style and the names lfold and rfold for accumulator-first style.
13:27:05jcowanIf/when I write a Sequence typeclass I willl adopt this convention.
13:29:44mdhughes_The one I did above works correctly, accumulator-first does fix it.
13:30:51jcowanNope. Try the four cases for yourself on lists of one, two, and three values. None of them produce the right answer always.
13:31:15mdhughes_I just did, in my REPL? Note mm switches the args.
23:21:01White_Flameprokhor__: from what I'm getting into, I believe the "Building Large Knowledge-Based Systems" book linked is old enough to not represent how cyc works anymore. they specifically got rid of frame representation and went with 100% logic statements