Name: | gprolog |
---|---|
Version: | 1.4.4 |
Release: | 1.el7 |
Architecture: | x86_64 |
Group: | Development/Languages |
Size: | 5369737 |
License: | GPLv2+ |
RPM: | gprolog-1.4.4-1.el7.x86_64.rpm |
Source RPM: | gprolog-1.4.4-1.el7.src.rpm |
Build Date: | Wed Oct 25 2017 |
Build Host: | x86-ol7-builder-03.us.oracle.com |
Vendor: | Oracle America |
URL: | http://www.gprolog.org |
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. |
- New upstream release
- Update to 1.4.3
- Fix wrong license specification
- New upstream release
- Remove reference to test pach
- New upstream release - Clean up SPEC file
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
- Add additioal comment about state of PPC build patch
- Fix PPC build issue (#758825)