Jason Eisner

Well, you could look in src/org/dyna/dynasty/example/, in particular in the dynamic/ subdirectory. (The lattice/ subdirectory has an infinite graph.) There's no socket interface, alas; the graphs are just instances of...

> That's moderately surprising to me; I thought true and false were just the two atoms that happened to be included in the set :bool They're certainly the two _values_...

> I don't see a reason to complicate that simple principle On the other hand, I admit that it complicates Prolog's simple principle that **identifiers starting with a lowercase character...

> Should lists not use nil/0 and cons/2 but rather $nil/0 and $cons/2, too? Sounds right.

> This is really only a problem for `/0` atoms, right? In particular, the fact that we're co-opting initial-lower-alpha-alphanum-strings (ETA: without parens) for `for/2` `in/2` `is/2` `new/1` `whenever/2` `with_key/2` (and...

Have nil and cons also become distinct from 'nil' and 'cons'? Above nwf suggested $nil and $cons, although I think he told me the other day that now they are...

> I think we should get rid of |= (for now), its currently just a synonym for :-. Thoughts? Nope, it's not the same thing. `|=` like `&=` is three-valued...

Also, the results of vquery don't currently seem to be sorted at all. I think they should have the same sort order as query. Ideally trace should also present results...

Clicking columns indeed -- looking forward to the GUI version!

Regarding section 3.9 of Darcey's tutorial, I wrote: > I see you found a convincing example for vquery, thanks. Contrary to what you say, the results of vquery aren't sorted...