Name : gprolog
| |
Version : 1.4.5
| Vendor : Mageia_Org
|
Release : 4.mga8
| Date : 2020-06-28 11:58:13
|
Group : Development/Other
| Source RPM : gprolog-1.4.5-4.mga8.src.rpm
|
Size : 14.28 MB
| |
Packager : joequant < joequant>
| |
Summary : GNU Prolog is a free implementation of Prolog
|
Description :
GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz. Latest information about GNU Prolog can be found at http://www.gnu.org/software/prolog. A lot of work has been devoted to the ISO compatibility. GNU Prolog is very close to the ISO standard (http://www.logic-programming.org/prolog_std.html).
|
RPM found in directory: /vol/rzm3/linux-mageia/distrib/8/i586/media/core/release |