Package gprolog: Information

    Source package: gprolog
    Version: 1.4.4-alt2
    Build time:  Mar 3, 2014, 03:23 AM in the task #115548
    Report package bug
    License: GPLv2
    Summary: GNU Prolog is a free Prolog compiler
    Description: 
    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.

    List of rpms provided by this srpm:
    gprolog (x86_64, i586)
    gprolog-debuginfo (x86_64, i586)
    gprolog-docs (x86_64, i586)

    Maintainer: Ilya Mashkin

    List of contributors:
    Ilya Mashkin

    Last changed


    March 3, 2014 Ilya Mashkin 1.4.4-alt2
    - add Obsoletes/Provides for gprolog-examples
    March 1, 2014 Ilya Mashkin 1.4.4-alt1
    - 1.4.4
    - remove examples
    Oct. 16, 2010 Ilya Mashkin 1.3.1-alt1
    - Build for Sisyphus