GNU Prolog (64-bit) 1.4.3
GNU Prolog является свободным компилятор Пролог с ограничением решения по конечные области. GNU Prolog принимает Пролог с программами ограничений и производит бинарных файлов (например, GCC делает из источника C). Полученный исполняемый затем автономные....