Raciocínio automático, prova de teoremas...Em Java

Oi pessoal…
Alguém já trabalhou com esses temas em Java?
Sei que existem vários raciocinadores e provadores de teoremas em Java, mas eu vou ter que implementar um raciocinador específico para um determinado problema…PRecisaria entender como o pessoal costuma implementar…Alguém tem alguma idéia de como posso implementar essas coisas?

Ninguém trabalhou com isso?

Talvez porque não seja a linguagem mais apropriada para isso. Se alguém implementa tais coisas em Java, é sobre bibliotecas que simulam algumas linguagens mais apropriadas para tais coisas. Digamos que seja mais fácil fazer os tais algoritmos em Lisp, por exemplo. Então o algoritmo pode ser escrito em Kawa (que é uma implementação de Scheme, um dialeto do Lisp, em Java).

Sim…O ideal seria utilizar linguagens já baseadas em motores de inferência…Mas se eu quisesse implementar inferências em Java? Alguém já fez algo assim?