решил проверить tuprolog — реализацию пролога на java. И в итоге я оказался разочарован скоростью его работы. Вот для сравнения за сколько отрабатывают разные пролог-машины на повторяемом 600 раз вычислении палиндрома списка из нескольких десятков элементов с помощью давнешнего рефал-модуля:
Один плюс у этого тупролога, что у него еще есть экспериментальный пакет для андроида. И хотя там указано, что он для версии >= 2.3.1, но все нормально запускается и на моем 2.2 Froyo.
