rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

improve writeX performance (#290)

Browse Source
This commit is contained in:
Mark Thom
2020-04-14 10:25:05 -06:00
parent 082c6a9e64
commit db5ed345bc
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/prolog/lib/builtins.pl
View File

@@ -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) :-