Re: gprolog sandboxing

There is nothing already existing for this. You can define your own 
meta-interpreter which will not give access to some built-in predicates.

Andreas Lundblad a écrit :
> Hi,
>
> Is there any way of executing an untrusted prolog-program in a secure
> way. That is, so there is no way for the program to for instance read
> or modify files / establish network connections etc.
>
> (I'm a TA and thinking of writing an automated solution tester.)
>
> // Andreas Lundblad
>
>
> _______________________________________________
> Users-prolog mailing list
> [email protected]
> http://lists.gnu.org/mailman/listinfo/users-prolog
>
>