Программы tuprolog.sf.net

2P - это легкая система Prolog (переводчик и API), отличающаяся минимальностью ядра (подходит для applet и мобильных вычислений), динамической разгибаемостью и настраиваемостью, бесшовной двунаправлениюной интеграцией с Java