GNU Prolog compiler
http://www.gprolog.org/
GNU Prolog is a free Prolog compiler with constraint solving over finite domains (FD) developed at INRIA by Daniel Diaz. GNU Prolog is based on two systems developed by the same author (with lot of code rewriting and a lot of new extensions): wamcc and clp(FD). Much work has been devoted to make it ISO compatible, full compliance being one of its goals.
-
2
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout devel:languages:misc/gprolog && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| gprolog-1.4.5-remove-compilation-date.patch | 0000001498 1.46 KB | |
| gprolog-1.4.5.tar.gz | 0003587361 3.42 MB | |
| gprolog.changes | 0000003311 3.23 KB | |
| gprolog.spec | 0000003917 3.83 KB |
Comments 0