summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2014-12-03 14:20:18 +0100
committerAleš Smodiš <aless@guru.si>2015-08-11 14:26:00 +0200
commit8d468ca2abf07eac9092b08390856f761dd701cd (patch)
tree07ce402602ceefa7d24c25b91bdf0e3e497e0fe2
parent770f1ed8f7aeeb52db483dd72a5d4712839f9760 (diff)
Mark random and random_between as safe goals
Required for exercise 25 (genlist).
-rw-r--r--prolog/lib.pl2
1 files changed, 2 insertions, 0 deletions
diff --git a/prolog/lib.pl b/prolog/lib.pl
index 232dc70..99dadf1 100644
--- a/prolog/lib.pl
+++ b/prolog/lib.pl
@@ -316,6 +316,8 @@ safe_primitive(http_session:http_session_data(_)).
safe_primitive(http_session:http_session_id(_)).
% random
safe_primitive(random:random(_)).
+safe_primitive(random:random(_,_,_)).
+safe_primitive(random:random_between(_,_,_)).
% porter
safe_primitive(porter_stem:porter_stem(_,_)).
safe_primitive(porter_stem:unaccent_atom(_,_)).