Пакет gprolog: Информация
Исходный пакет: gprolog
Версия: 1.4.4-alt2
Собран: 3 марта 2014 г. 3:23 в задании #115548
Категория: Разработка/Прочее
Сообщить об ошибке в пакетеДомашняя страница: http://www.gprolog.org
Лицензия: GPLv2
О пакете: GNU Prolog is a free Prolog compiler
Описание:
GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz (http://loco.inria.fr/~diaz). GNU Prolog is a very efficient native compiler producing (small) stand-alone executables. GNU-Prolog also offers a classical top-level+debugger. GNU Prolog conforms to the ISO standard for Prolog but also includes a lot of extensions (global variables, DCG, sockets, OS interface,...). GNU Prolog also includes a powerful constraint solver over finite domains with many predefined constraints+heuristics.
Список rpm-пакетов, предоставляемых данным srpm-пакетом:
gprolog (x86_64, i586)
gprolog-debuginfo (x86_64, i586)
gprolog-docs (x86_64, i586)
gprolog (x86_64, i586)
gprolog-debuginfo (x86_64, i586)
gprolog-docs (x86_64, i586)
Сопровождающий: Ilya Mashkin
Последнее изменение
3 марта 2014 г. Ilya Mashkin 1.4.4-alt2
- add Obsoletes/Provides for gprolog-examples
1 марта 2014 г. Ilya Mashkin 1.4.4-alt1
- 1.4.4 - remove examples
16 октября 2010 г. Ilya Mashkin 1.3.1-alt1
- Build for Sisyphus