prolog-mode.el (lang/prolog-mode.el) Add to my watchlist
An emacs major mode for editing prolog programs.So the Prolog mode that comes with Emacs sucks. Well, here is a better alternative, with all the features you would expect, including syntax highlighting, auto indent, and full interaction with an inferior Prolog process. This mode supports in principle any Prolog system, though it is primarily maintained with SWI Prolog in mind. It also has some special tweaks for SICStus Prolog, and explicitly supports Prolog's close relatives Eclipse and Mercury.
Version: 1.27 License: GPL-2+ GitHub45 build(s) found
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
11 | 89096 | 2022-11-01 17:47:51 | 0:05:25 | 24757 | build successful |
10.11 | 198349 | 2022-11-01 17:46:57 | 0:11:26 | 64196 | build successful |
10.13 | 167521 | 2022-11-01 17:45:53 | 0:04:36 | 55089 | build successful |
10.6 | 91143 | 2022-11-01 17:45:00 | 0:00:38 | 36724 | failed install-dependencies |
10.8 | 107026 | 2022-11-01 17:44:50 | 0:00:29 | 34549 | failed install-dependencies |
10.12 | 203516 | 2022-11-01 17:43:09 | 0:04:59 | 63001 | build successful |
10.6.x86_64 | 125541 | 2022-11-01 17:42:52 | 0:00:30 | 36752 | failed install-dependencies |
10.10 | 199884 | 2022-11-01 17:42:35 | 0:04:17 | 64077 | build successful |
10.15 | 116833 | 2022-11-01 17:42:01 | 0:04:58 | 34847 | build successful |
12 | 46234 | 2022-11-01 17:41:53 | 0:04:45 | 13541 | build successful |
10.7 | 117402 | 2022-11-01 17:40:30 | 0:00:26 | 36509 | failed install-dependencies |
10.9 | 204830 | 2022-11-01 17:39:26 | 0:00:41 | 63770 | failed install-dependencies |
12 | 30192 | 2022-05-23 9:47:34 | 0:03:44 | 7955 | build successful |
12.arm64 | 51714 | 2022-05-23 4:39:52 | 0:01:03 | 7945 | build successful |
12 | 14543 | 2022-01-15 11:54:56 | 0:00:15 | 3492 | failed install-dependencies |
12.arm64 | 38742 | 2022-01-15 5:30:09 | 0:00:04 | 3632 | failed install-dependencies |
12.arm64 | 21342 | 2021-11-19 21:09:28 | 0:00:18 | 1336 | failed install-dependencies |
11 | 33602 | 2021-06-10 8:28:09 | 0:09:10 | 6890 | build successful |
10.6.x86_64 | 59198 | 2021-06-10 8:22:51 | 0:09:50 | 18860 | build successful |
11 | 10991 | 2020-12-31 11:35:50 | 0:01:30 | 1446 | failed install-dependencies |
10.6.x86_64 | 42800 | 2020-12-28 5:09:02 | 0:06:24 | 13408 | failed install-port |
10.7 | 38945 | 2020-12-28 4:51:57 | 0:04:17 | 13397 | build successful |
10.7 | 15676 | 2020-01-27 8:48:01 | 0:00:42 | 3740 | failed install-dependencies |
10.6.x86_64 | 16890 | 2020-01-27 8:47:48 | 0:01:12 | 3749 | failed install-dependencies |
10.6.x86_64 | 16886 | 2020-01-27 8:17:01 | 0:01:14 | 3747 | failed install-dependencies |
10.6.x86_64 | 16885 | 2020-01-27 8:14:36 | 0:01:17 | 3746 | failed install-dependencies |
10.7 | 15672 | 2020-01-27 8:07:36 | 0:00:43 | 3738 | failed install-dependencies |
10.11 | 107114 | 2020-01-27 8:05:17 | 0:05:57 | 31341 | build successful |
10.13 | 76948 | 2020-01-27 8:05:06 | 0:06:18 | 22299 | build successful |
10.15 | 22404 | 2020-01-27 8:04:55 | 0:06:25 | 2568 | build successful |
10.12 | 112232 | 2020-01-27 8:04:44 | 0:05:44 | 30321 | build successful |
10.10 | 108645 | 2020-01-27 8:04:34 | 0:03:31 | 31389 | build successful |
10.14 | 51913 | 2020-01-27 8:04:23 | 0:04:27 | 13024 | build successful |
10.9 | 111257 | 2020-01-27 8:04:14 | 0:03:26 | 31332 | build successful |
10.7 | 15671 | 2020-01-27 8:04:04 | 0:00:42 | 3737 | failed install-dependencies |
10.8 | 14176 | 2020-01-27 8:03:53 | 0:04:09 | 3734 | build successful |
10.7 | 15499 | 2020-01-26 17:51:56 | 0:05:10 | 3718 | failed install-dependencies |
10.15 | 22254 | 2020-01-26 17:44:06 | 0:04:24 | 2549 | failed install-port |
10.14 | 51766 | 2020-01-26 17:41:41 | 0:03:54 | 13005 | failed install-port |
10.13 | 76797 | 2020-01-26 17:41:07 | 0:04:03 | 22280 | failed install-port |
10.6.x86_64 | 16707 | 2020-01-26 17:39:58 | 0:10:36 | 3727 | failed install-dependencies |
10.12 | 112080 | 2020-01-26 17:39:41 | 0:03:39 | 30302 | failed install-port |
10.11 | 106969 | 2020-01-26 17:37:19 | 0:03:30 | 31322 | failed install-port |
10.8 | 14011 | 2020-01-26 17:36:19 | 0:05:07 | 3715 | failed install-port |
10.15 | 7076 | 2019-11-28 9:13:53 | 0:13:17 | 1029 | failed install-port |