Programação em lógica no java

Existe alguma maneira de programar no estilo do Prolog em java, apenas declarando fatos, regras e os problemas com aquela sintaxe simples e sem estruturas de controle e repetição?

Não, não há.

Você pode usar um binding como a JPL ou a JProlog:
http://www.swi-prolog.org/packages/jpl/
http://people.cs.kuleuven.be/~bart.demoen/PrologInJava/

Existe uma api para isso chamada jess.

http://www.jessrules.com/jess/docs/52/intro.html

[quote=ViniGodoy]Você pode usar um binding como a JPL ou a JProlog:
http://www.swi-prolog.org/packages/jpl/
http://people.cs.kuleuven.be/~bart.demoen/PrologInJava/[/quote]

Eu achei o tal JPL muito interessante, mas eles necessitam de um programas externos para rodar, como o SWI Prolog.

Não há nenhuma livraria em Java que permita isso?

[quote=juliocbq]Existe uma api para isso chamada jess.

http://www.jessrules.com/jess/docs/52/intro.html[/quote]

Vou dar uma olhada mais de perto nesse, embora pareça que ele use uma linguagem similar ao Lisp…

Dando uma pesquisada eu achei o GNU Prolog for Java. O que acham disso?