IF/Prolog

Реализация языка программирования Prolog

IF/Prolog — коммерческая реализация диалекта ISO Prolog языка программирования Prolog. Пакет исполняется в MS WINDOWS и UNIX и имеет обширный набор интерфейсов для стандартных программ. Поставляется с интерфейсом Java.