gprolog - GNU Prolog - conforms to the ISO standard for Prolog
Website: | http://www.gprolog.org/ |
---|---|
License: | GPLv2 |
- Description:
GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD).
Packages
gprolog-1.3.1-1m.mo6.i686 [3.1 MiB] |
Changelog
by NAKAYA Toshiharu (2009-05-28):
- (1.3.1-1m) - update to 1.3.1 |