Prova

Prova is an open source programming language that combines Prolog with Java. Wikipedia