Web 3d.0 Oooh! Teh shiney!

One of the reasons why I was interested in Nu was the knowledge that Prolog can be implemented in Scheme in just a few lines. I have a need for logic programming in a very tiny (as tiny as possible please) part of the problems I'm solving.

Using Nu meant that not only did I get other things I wanted, I also wouldn't have to load in a Prolog library and learn the bridge functions and how to translate values and so on. Along those lines, here is something interesting:

http://www.lambdassociates.org/prolog.htm

That is Prolog written in Qi. Qi runs on CLisp , CMU Lisp, SBCL (May 2007) and Allegro Common Lisp (June 2007). Those are presumably written in C...

It's C over lambda over C over lambda all the way down...