improve writeX performance (#290)

diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl
index 61efae1ca6982df39392bb6c7ea3dde6289c8de3..17235d3bd56bf442ba5574847a7b75ae8004d3f7 100644 (file)
--- a/src/prolog/lib/builtins.pl
+++ b/src/prolog/lib/builtins.pl
@@ -349,11 +349,14 @@ write_term(Term, Options) :-
     inst_member_or(Options, max_depth(MaxDepth), max_depth(0)),
     '$write_term'(Term, IgnoreOps, NumberVars, Quoted, VarNames, MaxDepth).
 
-write(Term) :- write_term(Term, [numbervars(true)]).
+write(Term) :-
+    '$write_term'(Term, false, true, false, [], 0).
 
-write_canonical(Term) :- write_term(Term, [ignore_ops(true), quoted(true)]).
+write_canonical(Term) :-
+    '$write_term'(Term, true, false, true, [], 0).
 
-writeq(Term) :- write_term(Term, [quoted(true), numbervars(true)]).
+writeq(Term) :-
+    '$write_term'(Term, false, true, true, [], 0).
 
 %% TODO: complete the predicate! Most read options are missing.
 read_term(Term, Options) :-