Package gprolog: Information
Source package: gprolog
Version: 1.4.4-alt2
Build time: Mar 3, 2014, 03:23 AM in the task #115548
Category: Development/Other
Report package bugHome page: http://www.gprolog.org
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)
gprolog (x86_64, i586)
gprolog-debuginfo (x86_64, i586)
gprolog-docs (x86_64, i586)
Maintainer: 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