На этой странице в можете скачать Prolog бесплатно. Пролог - язык логического программирования, по сути является рекурсивным (по крайней мере докуда я дошел, там у него сам принцип действия рекурсивный). Достаточно геморройный по сравнению с привычными процедурными и объектно-ориентированными. Основное отличие в том, что надо уметь не задавать алгоритм решения, а правильно записать достаточные исходные условия и тогда об алгоритме решения можно уже не париться, пролог "найдет" его сам.
Особенностей у этой среды разработки почти нету: сухая консоль + окошко/окошки для набивания программного кода. Меню не представляет никакого разнообразия, собственно, сам язык не предоставляет возможности для разнообразия, он не универсальный.
Скачать Prolog (175.2 Mb)