From c580b4d7f4a91432f967d0ada459cd925f604caf Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Fri, 28 Mar 2014 14:59:53 +0100 Subject: Improve testing procedure - only run queries with correct code once - use msort/2 to implement quicksort/3, used for some tests - correctly split programs in the presence of =.. operator --- prolog/sandbox.pl | 1 + 1 file changed, 1 insertion(+) (limited to 'prolog/sandbox.pl') diff --git a/prolog/sandbox.pl b/prolog/sandbox.pl index 2ba5af0..a4f7426 100644 --- a/prolog/sandbox.pl +++ b/prolog/sandbox.pl @@ -208,6 +208,7 @@ safe_primitive(var(_)). safe_primitive(nonvar(_)). safe_primitive(integer(_)). safe_primitive(float(_)). +safe_primitive(number(_)). safe_primitive(atom(_)). safe_primitive(compound(_)). safe_primitive(ground(_)). -- cgit v1.2.1