| … | … | @@ -157,12 +157,13 @@ |
| 157 | 157 | (check-spaces "bar-space" mid1-space (cog-atomspace (gdr lilly))) |
| 158 | 158 | |
| 159 | 159 | ; The above ListLink was first created in the mid2-space, and it |
| 160 | | ; captured the truth values on `foo` and `bar` as they were, in this |
| 161 | | ; space. But then, later on, in the top space, the value on `foo` was |
| 162 | | ; changed. Lets take a closer look at that. |
| 160 | ; captured the values on `foo` and `bar` as they were, in this |
| 161 | ; space. But then, later on, in mid3-space, the value on `foo` was |
| 162 | ; changed (and this is visible from surface-space). Lets take a closer |
| 163 | ; look at that. |
| 163 | 164 | (cog-set-atomspace! surface-space) |
| 164 | 165 | (define top-lilly (ListLink (Concept "foo") (Concept "bar"))) |
| 165 | | (format #t "The top-most list link is:\n~A\n" lilly) |
| 166 | (format #t "The top-most list link is:\n~A\n" top-lilly) |
| 166 | 167 | |
| 167 | 168 | ; Another handy printer. |
| 168 | 169 | (define (check-equal MSG A B) |