gprolog - GNU Prolog - conforms to the ISO standard for Prolog
| Website: | http://www.gprolog.org/ |
|---|---|
| License: | GPL |
| Vendor: | Momonga Project |
- Description:
GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD).
Packages
| gprolog-1.3.0-2m.mo5.i686 [3.3 MiB] |
Changelog
by TABUCHI Takaaki (2008-04-03):
- (1.3.0-2m) - rebuild against gcc43 |