SWI-Prolog / pengines

Pengine and Prolog scratchpad
BSD 2-Clause "Simplified" License
57 stars 16 forks source link

Pengines website down #23

Closed willprice closed 7 years ago

willprice commented 7 years ago

Browsing to http://pengines.swi-prolog.org/

Produces the following error message:

Internal server error

I/O error in write on stream <stream>(0x7fc0ac0293e0) (Disk quota exceeded)
In:
[12] format(<stream>(0x7fc0ac0293e0),'/*~s*/ request(~q, ~3f, ~q).~n',["Fri Apr 21 11:33:43 2017"|...])
[9] broadcast:broadcast(http(...)) at /usr/lib/swi-prolog/library/broadcast.pl:118
[8] httpd_wrapper:call_handler(http_unix_daemon:http_dispatch,23463,[...|...]) at /usr/lib/swi-prolog/library/http/http_wrapper.pl:299
[7] catch(httpd_wrapper: ...,error(...,...),httpd_wrapper:true) at /usr/lib/swi-prolog/boot/init.pl:274
[6] httpd_wrapper:handler_with_output_to(http_unix_daemon:http_dispatch,23463,[...|...],current_output,error(...,...)) at /usr/lib/swi-prolog/library/http/http_wrapper.pl:280
[5] httpd_wrapper:handler_with_output_to(http_unix_daemon:http_dispatch,23463,[...|...],<stream>(0x7fc07409cdc0),error(...,...)) at /usr/lib/swi-prolog/library/http/http_wrapper.pl:290
[4] httpd_wrapper:http_wrapper(http_unix_daemon:http_dispatch,<stream>(0x7fc07409c3a0),<stream>(0x7fc07409c4d0),_G4666,[...|...]) at /usr/lib/swi-prolog/library/http/http_wrapper.pl:106
[3] thread_httpd:http_process(http_unix_daemon:http_dispatch,<stream>(0x7fc07409c3a0),<stream>(0x7fc07409c4d0),[...|...]) at /usr/lib/swi-prolog/library/http/thread_httpd.pl:717
[2] catch(thread_httpd: ...,_G4710,thread_httpd:true) at /usr/lib/swi-prolog/boot/init.pl:274
[1] thread_httpd:http_worker([...|...]) at /usr/lib/swi-prolog/library/http/thread_httpd.pl:540
[0] <meta call>

SWI-Prolog httpd at pengines
JanWielemaker commented 7 years ago

Restarted. Note that for most of the work you are better of at swish.swi-prolog.org.

willprice commented 7 years ago

Thanks @JanWielemaker, I'm looking at writing some search visualisations for prolog tutorials using SWISH so digging around all the sites to find out what's possible :)

JanWielemaker commented 7 years ago

On 04/21/2017 11:50 AM, Will Price wrote:

Thanks @JanWielemaker https://github.com/JanWielemaker, I'm looking at writing some search visualisations for prolog tutorials using SWISH so digging around all the sites to find out what's possible :)

Animation is not really the strong point of SWISH. Pengines offer more options. But, also SWISH could do it if you write appropriate JavaScript renderers.

Cheers --- Jan
willprice commented 7 years ago

Hi Jan,

Thanks for your opinion on what is possible.

I've decided to take the route of building an API server using SWI prolog's websockets API and the prolog_trace_interception hook to intercept frames during the search algorithm to get the intermediate agenda state which will the be visualised on the frontend demonstrating the backtracking properties of the algorithm.

Thanks for your work on SWI prolog, it's an excellent project, and I've enjoyed my time using it.