I find it humorous that the Programming Languages list only covers imperative languages that are roughly similar in design. Scheme mentioned here, http://code.

I find it humorous that the Programming Languages list only covers imperative languages that are roughly similar in design. Scheme mentioned here, http://code.google.com/edu/submissions/ucberkeley-parallelism/index.html http://code.google.com/edu/submissions/ucberkeley-parallelis... The following link, http://code.google.com/edu/languages/index.html#_java_racedetect http://code.google.com/edu/languages/index.html#_java_racede..., is even more fascinating. It shows how to detect race conditions in concurrent Java programs. What does it use? JChord? What is JChord built on? Datalog implemented via Binary Decision Diagrams! Yet no classes on Logic Programming.