From 9c1b6eaf1bc35b92d218ce4a93a676431a9845da Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Thu, 31 Jul 2014 11:25:08 +0200 Subject: Cleanups in monkey.py --- prolog/sandbox.pl | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'prolog') diff --git a/prolog/sandbox.pl b/prolog/sandbox.pl index a4f7426..232dc70 100644 --- a/prolog/sandbox.pl +++ b/prolog/sandbox.pl @@ -454,3 +454,7 @@ safe_pattr(_, _). prolog:sandbox_allowed_expansion(G) :- safe_goal(G). + +% tuProlog compatibility +system:quicksort(L, <, S) :- msort(L, S). +system:quicksort(L, @<, S) :- msort(L, S). -- cgit v1.2.1