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
>
Users-prolog@...
>
http://lists.gnu.org/mailman/listinfo/users-prolog>
>
_______________________________________________
Users-prolog mailing list
Users-prolog@...
http://lists.gnu.org/mailman/listinfo/users-prolog
