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

GNU Prolog — это бесплатная реализация (под GPL) языка логического программирования PROLOG. Он может компилироваться на родной машинный код, который очень быстро в исполнении. Другой особенностью является включенный решателе