Please suggest better names for this room :)

I kind of like it... Here's to poor Cantor.

Does anyone program logic in Prolog or Mathematica or another language?

Have done a little Prolog, from school.

I use Ruby on a daily basis.

Playing with R a little bit lately too.

I'm finding Prolog mildly excruciating. Which implementation did you use, SWI? I found one called Godel that seems better for formal logic but I can't get Eclipse to digest it. So, they say, it goes.

I think so, SWI sounds right. I do remember it feeling very alien.

Thought this was pretty neat, though I need to look at it more closely --

springerlink.com/content/6k8h4714270q83k2