# SWI-Prolog web site and services **URL:** https://swi-prolog.discourse.group/c/services/9.md [Latest](https://swi-prolog.discourse.group/latest.md) · [Categories](https://swi-prolog.discourse.group/categories.md) · [Tags](https://swi-prolog.discourse.group/tags.md) --- ## [About the SWI-Prolog web site and services category](https://swi-prolog.discourse.group/t/about-the-swi-prolog-web-site-and-services-category/434)
**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\ **Replies:** 0
This category is about issues with the services such as www.swi-prolog.org, swish.swi-prolog.org, lpn.swi-prolog.org or cliopatria.swi-prolog.org. --- ## [SWISH is back online](https://swi-prolog.discourse.group/t/swish-is-back-online/8704)
**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\ **Replies:** 0\ **Last updated:** [December 31, 2024, 1:39pm UTC](https://swi-prolog.discourse.group/t/swish-is-back-online/8704 "2024-12-31T13:39:54Z")
SWISH was failing because the TLS certificates used to contact the Redis database had expired. All should be working properly again. --- ## [Fastly CDN for developers](https://swi-prolog.discourse.group/t/fastly-cdn-for-developers/7537)
**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\ **Replies:** 0\ **Last updated:** [June 14, 2024, 2:16pm UTC](https://swi-prolog.discourse.group/t/fastly-cdn-for-developers/7537 "2024-06-14T14:16:31Z")
Fastly has supported SWI-Prolog with free CDN services for many years. We are truly grateful for that as it makes www.swi-prolog.org faster and more reliable. Today, we share that Fastly is making the power of their p… --- ## [SWISH - slow printing and missing toplevel bindings](https://swi-prolog.discourse.group/t/swish-slow-printing-and-missing-toplevel-bindings/7490)
**Author:** [@langelgjm](https://swi-prolog.discourse.group/u/langelgjm)\ **Replies:** 6\ **Last updated:** [June 7, 2024, 11:56am UTC](https://swi-prolog.discourse.group/t/swish-slow-printing-and-missing-toplevel-bindings/7490 "2024-06-07T11:56:37Z")
First, thank you for SWI Prolog and SWISH. I work in a restricted environment, so being able to run Prolog code without installing software is a huge benefit. I am using portray\_clause to generate a list of facts that m… --- ## [SWISH trace and stability issue resolved](https://swi-prolog.discourse.group/t/swish-trace-and-stability-issue-resolved/7479)
**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\ **Replies:** 0\ **Last updated:** [May 28, 2024, 2:52pm UTC](https://swi-prolog.discourse.group/t/swish-trace-and-stability-issue-resolved/7479 "2024-05-28T14:52:03Z")
Yesterday’s update of SWISH caused trace/0 to stop functioning. Attempts to trace left the system in a somewhat unstable state as it was trying to open a secondary console rather than create a trace interaction in the b… --- ## [Internal Server Errors while examing add-on pack details](https://swi-prolog.discourse.group/t/internal-server-errors-while-examing-add-on-pack-details/7473)
**Author:** [@DewayneG](https://swi-prolog.discourse.group/u/DewayneG)\ **Replies:** 1\ **Last updated:** [May 27, 2024, 1:33pm UTC](https://swi-prolog.discourse.group/t/internal-server-errors-while-examing-add-on-pack-details/7473 "2024-05-27T13:33:38Z")
While looking at items of interest, not bug hunting, I experienced three Internal Server Error messages. https://www.swi-prolog.org/pack/file\_details/dict\_schema/LICENSE https://www.swi-prolog.org/pack/file\_details/dic… --- ## [500 Internal Server Error while accessing the Manual](https://swi-prolog.discourse.group/t/500-internal-server-error-while-accessing-the-manual/7397)
**Author:** [@damiazz94](https://swi-prolog.discourse.group/u/damiazz94)\ **Replies:** 2\ **Last updated:** [April 24, 2024, 12:22pm UTC](https://swi-prolog.discourse.group/t/500-internal-server-error-while-accessing-the-manual/7397 "2024-04-24T12:22:59Z")
Hi, the following URL https://www.swi-prolog.org/pldoc/man?predicate=catch throws an internal server error. Internal server error Arguments are not sufficiently instantiated In: \[70\] throw(error(instantiation\_error,\_77… --- ## [SWISH Notebooks: deleting and printing](https://swi-prolog.discourse.group/t/swish-notebooks-deleting-and-printing/1603)
**Author:** [@pdprolog](https://swi-prolog.discourse.group/u/pdprolog)\ **Replies:** 4\ **Last updated:** [April 17, 2024, 7:26am UTC](https://swi-prolog.discourse.group/t/swish-notebooks-deleting-and-printing/1603 "2024-04-17T07:26:08Z")
Hello: I have the two following questions regarding SWISH Notebooks: I would like to delete a notebook that I made public (whereas protected with save option owner). Is this possible? When printing a Notebook, onl… --- ## [DNS migration](https://swi-prolog.discourse.group/t/dns-migration/7319)
**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\ **Replies:** 0\ **Last updated:** [March 20, 2024, 8:08am UTC](https://swi-prolog.discourse.group/t/dns-migration/7319 "2024-03-20T08:08:11Z")
On March 21, 1600UTC, swi-prolog.org migrates to a new domain registrar. This should not lead to any service disruption. Hopefully it resolves the problems with services being inaccessible due to DNS issues. --- ## [DNS disruption](https://swi-prolog.discourse.group/t/dns-disruption/4980)
**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\ **Replies:** 2\ **Last updated:** [March 13, 2024, 8:28pm UTC](https://swi-prolog.discourse.group/t/dns-disruption/4980 "2024-03-13T20:28:07Z")
It seems the ISP DNS services are experiencing problems, making most \*.swi-prolog.org services inaccessible unless you happen to have the name cached. As the ISP website is also partly inaccessible I assume they know t… --- ## [Bad Gateway error on home page](https://swi-prolog.discourse.group/t/bad-gateway-error-on-home-page/7291)
**Author:** [@a1jrj](https://swi-prolog.discourse.group/u/a1jrj)\ **Replies:** 2\ **Last updated:** [March 10, 2024, 6:46pm UTC](https://swi-prolog.discourse.group/t/bad-gateway-error-on-home-page/7291 "2024-03-10T18:46:01Z")
Try SWI-Prolog in your browser (WASM) worked three weeks ago but today 10 March 24 says 502 Bad Gateway nginx/1.18.0 (Ubuntu) --- ## [Creating files for training with Aleph using SWISH-cplint](https://swi-prolog.discourse.group/t/creating-files-for-training-with-aleph-using-swish-cplint/7277)
**Author:** [@inesdutra](https://swi-prolog.discourse.group/u/inesdutra)\ **Replies:** 0\ **Last updated:** [March 4, 2024, 6:10pm UTC](https://swi-prolog.discourse.group/t/creating-files-for-training-with-aleph-using-swish-cplint/7277 "2024-03-04T18:10:11Z")
Dear all, I’d like to use multiple files to train a model using Aleph in SWISH (creating files using the cplint interface). I created files with facts and modes, pos and neg examples etc. I also have a file with the “mai… --- ## [Https://www.swi-prolog.org/pack/query is down a](https://swi-prolog.discourse.group/t/https-www-swi-prolog-org-pack-query-is-down-a/7238)
**Author:** [@logicmoo](https://swi-prolog.discourse.group/u/logicmoo)\ **Replies:** 11\ **Last updated:** [February 14, 2024, 4:53pm UTC](https://swi-prolog.discourse.group/t/https-www-swi-prolog-org-pack-query-is-down-a/7238 "2024-02-14T16:53:33Z")
https://www.swi-prolog.org/pack/query is down --- ## [Maintenance work](https://swi-prolog.discourse.group/t/maintenance-work/7236)
**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\ **Replies:** 0\ **Last updated:** [February 13, 2024, 3:30pm UTC](https://swi-prolog.discourse.group/t/maintenance-work/7236 "2024-02-13T15:30:48Z")
You may have noticed problems with www.swi-prolog.org. I am doing some reorganization work. Plan Move services from the VU (Free University Amsterdam) research servers to a commercial cloud server. The VU has kindl… --- ## [Pengines server certificate expired](https://swi-prolog.discourse.group/t/pengines-server-certificate-expired/7234)
**Author:** [@mike.elston](https://swi-prolog.discourse.group/u/mike.elston)\ **Replies:** 3\ **Last updated:** [February 11, 2024, 11:03am UTC](https://swi-prolog.discourse.group/t/pengines-server-certificate-expired/7234 "2024-02-11T11:03:19Z")
Hi At about 1100 NZ time Sunday 11 Feb my server application pengin server started reporting NET::ERR\_CERT\_DATE\_INVALID https://pengines.swi-prolog.org/pengine/pengines.js started giving NET::ERR\_CERT\_DATE\_INVALID Ex… --- ## [SWISH back online](https://swi-prolog.discourse.group/t/swish-back-online/7139)
**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\ **Replies:** 0\ **Last updated:** [January 1, 2024, 3:43pm UTC](https://swi-prolog.discourse.group/t/swish-back-online/7139 "2024-01-01T15:43:11Z")
SWISH was down since a few days due to an expired certificate for the Redis DB. Luckily most people are enjoying holidays :slight\_smile: All should be running fine again. --- ## [Is it possible to suppress warnings in SWISH?](https://swi-prolog.discourse.group/t/is-it-possible-to-suppress-warnings-in-swish/4623)
**Author:** [@JasonMorris](https://swi-prolog.discourse.group/u/JasonMorris)\ **Replies:** 6\ **Last updated:** [November 29, 2023, 5:06pm UTC](https://swi-prolog.discourse.group/t/is-it-possible-to-suppress-warnings-in-swish/4623 "2023-11-29T17:06:39Z")
I’m having an absolute blast playing with s(CASP) notebooks in SWISH. This is an extremely helpful tool for me to provide a user-friendly introduction to the power of using knowledge representation and reasoning for auto… --- ## [Website crash during search query](https://swi-prolog.discourse.group/t/website-crash-during-search-query/6891)
**Author:** [@DewayneG](https://swi-prolog.discourse.group/u/DewayneG)\ **Replies:** 1\ **Last updated:** [October 17, 2023, 9:19am UTC](https://swi-prolog.discourse.group/t/website-crash-during-search-query/6891 "2023-10-17T09:19:01Z")
Upon accessing this page Prolog search -- format within 30 seconds of Mon Oct 16 19:58:15 UTC 2023, I received the following crash report: Internal server error Cannot represent due to \`encoding' (cannot represent text … --- ## [Bug on Docs Website](https://swi-prolog.discourse.group/t/bug-on-docs-website/6873)
**Author:** [@firefrorefiddle](https://swi-prolog.discourse.group/u/firefrorefiddle)\ **Replies:** 1\ **Last updated:** [October 6, 2023, 11:55am UTC](https://swi-prolog.discourse.group/t/bug-on-docs-website/6873 "2023-10-06T11:55:24Z")
I think that’s a bug on the website: {}/1 The link shows the {} predicate from rdf11 (together with rdf\_where), but the menu tree on the left hand side shows the clpqr module, which also includes a {} predicate. Seems … --- ## [Swish](https://swi-prolog.discourse.group/t/swish/6840)
**Author:** [@albangabillon](https://swi-prolog.discourse.group/u/albangabillon)\ **Replies:** 6\ **Last updated:** [September 18, 2023, 6:18am UTC](https://swi-prolog.discourse.group/t/swish/6840 "2023-09-18T06:18:58Z")
Hi I use swish with my students but accessing to the user programs seems much slower than it was last year. Is it just an impression ? Also Swish seems to be ofline at the moment ? --- ## [Pack server seems to be unreachable](https://swi-prolog.discourse.group/t/pack-server-seems-to-be-unreachable/6612)
**Author:** [@friguzzi](https://swi-prolog.discourse.group/u/friguzzi)\ **Replies:** 2\ **Last updated:** [June 6, 2023, 3:59pm UTC](https://swi-prolog.discourse.group/t/pack-server-seems-to-be-unreachable/6612 "2023-06-06T15:59:37Z")
Trying to install a pack I get ?- pack\_install(liftcover). % Contacting server at https://www.swi-prolog.org/pack/query ... ERROR: url \`'https://www.swi-prolog.org/pack/query'' does not exist (status(503,first byte time… --- ## [SWI-Prolog online not working?](https://swi-prolog.discourse.group/t/swi-prolog-online-not-working/6596)
**Author:** [@MigadaTang](https://swi-prolog.discourse.group/u/MigadaTang)\ **Replies:** 3\ **Last updated:** [June 1, 2023, 2:20pm UTC](https://swi-prolog.discourse.group/t/swi-prolog-online-not-working/6596 "2023-06-01T14:20:01Z")
Is it just me or is there something wrong with the server right now? --- ## [SWISH main site down; please use backup](https://swi-prolog.discourse.group/t/swish-main-site-down-please-use-backup/6420)
**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\ **Replies:** 1\ **Last updated:** [March 31, 2023, 8:25am UTC](https://swi-prolog.discourse.group/t/swish-main-site-down-please-use-backup/6420 "2023-03-31T08:25:14Z")
At the moment SWISH is down on what looks like a serious issue with the server. The backup is running at https://swish2.swi-prolog.org --- ## [Work on SWISH](https://swi-prolog.discourse.group/t/work-on-swish/6083)
**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\ **Replies:** 1\ **Last updated:** [January 24, 2023, 9:17am UTC](https://swi-prolog.discourse.group/t/work-on-swish/6083 "2023-01-24T09:17:23Z")
I have revived an old project to make SWISH more robust using horizontal scaling. That is still work in progress. Steps: Use Redis to allow SWISH instances to realize a shared view on the world and send each other m… --- ## [SWISH stability issues (hopefully resolved)](https://swi-prolog.discourse.group/t/swish-stability-issues-hopefully-resolved/6099)
**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\ **Replies:** 3\ **Last updated:** [January 16, 2023, 5:32pm UTC](https://swi-prolog.discourse.group/t/swish-stability-issues-hopefully-resolved/6099 "2023-01-16T17:32:51Z")
Dear SWISH user, Since migration to Redis for data storage and sharing as well as Docker for running SWISH, the system has been very unstable. After fixing some issues with the usage of Redis one issue remained: frequ… --- ## [Swish is down](https://swi-prolog.discourse.group/t/swish-is-down/1347)
**Author:** [@yochem](https://swi-prolog.discourse.group/u/yochem)\ **Replies:** 16\ **Last updated:** [January 15, 2023, 9:24am UTC](https://swi-prolog.discourse.group/t/swish-is-down/1347 "2023-01-15T09:24:02Z")
https://swish.swi-prolog.org/ is down. No response when trying to visit the website. EDIT: after a long time waiting, I get a 504: --- ## [SWISH down?](https://swi-prolog.discourse.group/t/swish-down/6092)
**Author:** [@pdprolog](https://swi-prolog.discourse.group/u/pdprolog)\ **Replies:** 1\ **Last updated:** [January 15, 2023, 1:29am UTC](https://swi-prolog.discourse.group/t/swish-down/6092 "2023-01-15T01:29:02Z")
Hi! It seems that SWISH is down… Thanks a lot in advance. --- ## [Broken link in documentation](https://swi-prolog.discourse.group/t/broken-link-in-documentation/5951)
**Author:** [@jamesnvc](https://swi-prolog.discourse.group/u/jamesnvc)\ **Replies:** 1\ **Last updated:** [November 20, 2022, 8:53am UTC](https://swi-prolog.discourse.group/t/broken-link-in-documentation/5951 "2022-11-20T08:53:27Z")
The source link on the page for http\_open/3 (currently https://www.swi-prolog.org/pldoc/doc/\_CWD\_/pack/mirror/GIT/flux/prolog/indigolog/lib/http\_open.pl?show=src#http\_open/3) is giving a 403 – seems to trying to open an … --- ## [Hightlight.js wasm test page](https://swi-prolog.discourse.group/t/hightlight-js-wasm-test-page/5671)
**Author:** [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\ **Replies:** 1\ **Last updated:** [September 25, 2022, 1:26pm UTC](https://swi-prolog.discourse.group/t/hightlight-js-wasm-test-page/5671 "2022-09-25T13:26:39Z")
Note: This page is to demonstrate that for highlight.js the name wasm and webassembly are not working. wasm (module (import "js" "memory" (memory 1)) (import "js" "table" (table 1 funcref)) (type $void\_to\_i32 (fu… --- ## [Is SWISH Down?](https://swi-prolog.discourse.group/t/is-swish-down/5389)
**Author:** [@JasonMorris](https://swi-prolog.discourse.group/u/JasonMorris)\ **Replies:** 3\ **Last updated:** [May 12, 2022, 8:56am UTC](https://swi-prolog.discourse.group/t/is-swish-down/5389 "2022-05-12T08:56:36Z")
I’m getting 504 errors when I try to access SWISH today. [Next page](https://swi-prolog.discourse.group/c/services/9.md?page=1)