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