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[

]