ACL2 Bridge interfaces for other programming languages.
The ACL2 Bridge can probably be used from just about any programming language that has sockets.
There is a nice Ruby interface in
For other programming languages, implementing a client should be a very easy exercise: just read about commands and messages to understand the communication. You might look at the Ruby interface as an example.