The military might have something like that, or the CIA maybe.  I could yell over the fence since I'm working right beside them, but they might arrest me since they're all concerned about homeland insecurity and all.  
I found I was doing math wrong with HAL not too long ago.  I asked "What is 25.3 times 42.3 equal to?" and HAL might say something like "It must have a good frame work. The solution is (25*0=). Times can be hard to handle, but a sensual tropical island life seems to be much more grand".  
Now I just say "What is 25.3*42.3=" and HAL says "I know that this isn't the first or last of it. The solution is one thousand seventy (25.3*42.3=1070.19).", or "what is 43+10*log(34)" and hal says "The answer is seventy eight (43+10*log(34)=78.2636052461616)."  A bit more accuracy than I need, and it is a natural log rather than base 10.  So I suppose GIGO eh?  What a DLL! 
I suspect HAL would need a delimiter to designate a variable in a script before being able to do something like that.  Perhaps as ABC$ being a variable.  I don't recall seeing any bot that is pure logic though, I would think one of those water cooled CRAYs would be pretty good at it though.  I heard Oak Ridge is getting a petaflop.  Unbelievable, but I don't know too much about BOT's except for Bot flies (Dermatobia hominis), but that's sort of gross, and I do digress.  I'm just getting started with BOT's and AI, and that sort of thing, but if you find one let me know, I'd be curious to dissect it[

]