Логический и объектно-ориентированный язык программирования

Долго кодил на java, страстно любя его ООП. Потом увидел prolog и тогда влюбился в логическое программирования. Теперь захотелось совместить.
Вопрос: есть ли такой замечательный язык, который бы совмещал обе парадигмы?
P. S. По моему такой язык был бы идеален для написания стратегий/мини искусственного интеллекта.
P. P. S. только что осознал, что хочу Джаву, в которую впихнули логическое. Хотя это в идеале.

Ответ

Почему бы не использовать реализации Prolog под Java? GNU Prolog Java JIProlog Tuprolog