gprolog (lang/gprolog) Updated: 3 years, 4 months ago Add to my watchlist
GNU Prolog compilerGNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid linking the code of most unused built-in predicates. The performance of GNU Prolog is very encouraging (comparable to commercial systems). Beside native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger.
Version: 1.5.0 License: LGPL-3
GitHub
27 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 4944 | 2024-10-05 5:26:06 | 0:01:16 | 540 | build successful |
| 14.arm64 | 7832 | 2024-01-18 19:38:45 | 0:00:43 | 4155 | build successful |
| 14 | 8857 | 2023-11-08 17:17:28 | 0:01:51 | 1465 | build successful |
| 13 | 44667 | 2023-08-16 7:31:09 | 0:01:03 | 10533 | build successful |
| 13.arm64 | 7332 | 2023-03-05 9:30:44 | 0:00:41 | 3897 | build successful |
| 13 | 6668 | 2022-12-25 16:36:59 | 0:00:43 | 982 | failed install-port |
| 12 | 14469 | 2022-01-15 3:57:13 | 0:01:48 | 3482 | build successful |
| 12.arm64 | 14317 | 2021-11-14 9:38:32 | 0:00:46 | 1027 | build successful |
| 10.6 | 35956 | 2021-07-10 5:36:30 | 0:05:06 | 19761 | build successful |
| 10.11 | 147873 | 2021-07-09 0:40:43 | 0:01:48 | 47299 | build successful |
| 10.8 | 54254 | 2021-07-09 0:40:32 | 0:01:16 | 17631 | build successful |
| 10.14 | 93985 | 2021-07-09 0:40:23 | 0:01:49 | 28954 | build successful |
| 10.6.x86_64 | 66467 | 2021-07-09 0:40:14 | 0:04:54 | 19734 | build successful |
| 10.12 | 152790 | 2021-07-09 0:40:03 | 0:01:42 | 46290 | build successful |
| 10.10 | 149253 | 2021-07-09 0:39:56 | 0:01:23 | 47365 | build successful |
| 11 | 39596 | 2021-07-09 0:39:44 | 0:02:31 | 7755 | build successful |
| 10.9 | 153365 | 2021-07-09 0:39:38 | 0:01:33 | 47046 | build successful |
| 10.15 | 65328 | 2021-07-09 0:39:31 | 0:02:11 | 17948 | build successful |
| 10.7 | 60828 | 2021-07-09 0:39:24 | 0:01:06 | 19771 | build successful |
| 10.13 | 117218 | 2021-07-09 0:39:12 | 0:01:26 | 38243 | build successful |
| 11.arm64 | 25289 | 2021-07-09 0:39:05 | 0:00:47 | 7935 | build successful |
| 11.arm64 | 22350 | 2021-06-09 8:15:16 | 0:00:21 | 7018 | failed install-port |
| 11 | 10813 | 2020-12-30 20:32:57 | 0:02:30 | 1446 | build successful |
| 10.15 | 46370 | 2020-12-27 14:30:18 | 0:02:12 | 12181 | build successful |
| 11.arm64 | 6263 | 2020-12-27 14:21:49 | 0:00:15 | 1474 | failed install-port |
| 10.15 | 22137 | 2020-01-25 16:03:53 | 0:01:16 | 2523 | failed install-port |
| 10.15 | 7003 | 2019-11-28 0:11:38 | 0:01:06 | 1029 | failed install-port |