Пакет 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)

    Сопровождающий: Ilya Mashkin

    Список участников:
    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