Putting logic on the Web has seemed like an intellectual one-way street: the logic was all worked out a century ago or more, the technology is 20 years old, and we are simply dealing with the dirty practical business of putting it into XML and getting it onto the Web...