Do not worry Jan. The work around is only to change the program in order to get a simple query that will work with SWISH. Now, I wonder if I can install SWISH into my website or if it is still better to save theses prolog provers on a SWISH instance somewhere else.
@anon95304481 It seems finally to me that the best is to publish these provers that are mainly the work of Jan Burse at http://lpsdemo.interprolog.com like I just did with unsat.pl that is the first program that Jan gave to me: http://lpsdemo.interprolog.com/p/unsat.pl But before going on I prefer to ask @anon95304481 his agreement.