Re: Announcement: Homage to SWI-Prolog

Michael,

The sandbox code is since a few versions available in the core Prolog
library.
In addition, there is an option sandboxed(true) to load_files/2 that
will use
the sandbox library for validating directives.

This code was originally written (by me) for SWAPP.  Torbjörn aparently
reused this code for SWISH.  The version in the library has a slightly
different interface, based on exceptions rather than failure so you can
(but do not need to) give feedback on why the validator thinks the code
is unsafe.

See http://www.swi-prolog.org/pldoc/doc_for?object=sandbox:safe_goal/1

Please note that this code is not extensively reviewed.  Use at your own
risk.  It might be wise to run such systems also in an OS provided
sandbox ...

	Cheers --- Jan


On 07/20/2013 05:12 PM, Michael Hendricks wrote:
> On Jul 19, 2013 9:01 AM, "Torbjörn Lager" <[email protected]> wrote:
>>
>> The source code for SWISH is available on GitHub:
>> https://github.com/spyderbrain/swish .
> 
> Would you consider releasing the sandbox library as a pack on the
> SWI-Prolog site? I'd love to be able to easily reuse that component in my
> own code.
> 
> Alternatively, I'll gladly create and maintain the pack based on your
> source, if you grant me permission to do so.
> 
> Thanks.
> 
> Michael
> -------------- next part --------------
> HTML attachment scrubbed and removed
> _______________________________________________
> SWI-Prolog mailing list
> [email protected]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
> 
_______________________________________________
SWI-Prolog mailing list
[email protected]
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog