Open torbjornlager opened 10 years ago
Would it be possible (and make sense) to make safe_goal/1 safe? As it now works:
?- safe_goal(safe_goal(true)). ERROR: procedure `'$syspreds':'$current_module'(A,B)' does not exist ERROR: Reachable from: ERROR: '$syspreds':current_module(A) ERROR: '$syspreds':property_predicate(A,sandbox:B:C) ERROR: sandbox:predicate_property(A:B,C) ERROR: sandbox:safe(A,B,C,D,E) ERROR: user:safe_goal(A) ?-
Would it be possible (and make sense) to make safe_goal/1 safe? As it now works: