1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
:- module(charsio, []).
%! write_to_chars(+Term, ?Chars)
%
% Write a term to a char list.
%
% Equivalent to:
% phrase(format_("~w", [Term]), Chars)
%
% Not included in the compiled version of the charsio library.
write_to_chars(Term, Chars) :-
write_term_to_chars(Term, [quoted(false), ignore_ops(false), numbervars(true)], Chars).
%! writeq_to_chars(+Term, ?Chars)
%
% Write a term to a char list, using brackets and operators where appropriate.
% Atoms that need quotes are quoted.
%
% Equivalent to:
% phrase(format_("~q", [Term]), Chars)
%
% Not included in the compiled version of the charsio library.
writeq_to_chars(Term, Chars) :-
write_term_to_chars(Term, [quoted(true), ignore_ops(false), numbervars(true)], Chars).
%! write_canonical_to_chars(+Term, ?Chars)
%
% Write a term to a char list, using standard parenthesised prefix notation.
% Atoms that need quotes are quoted.
%
% It has no format specifier yet:
% https://github.com/tau-prolog/tau-prolog/commit/4835c964e049d1774ea34781d19ef18a6562d98b#commitcomment-72245190
%
% Not included in the compiled version of the charsio library.
write_canonical_to_chars(Term, Chars) :-
write_term_to_chars(Term, [quoted(true), ignore_ops(true), numbervars(false)], Chars).
%! fabricate_var_name(+Type, ?Name, +Number)
%
% From Scryer Prolog:
% https://github.com/mthom/scryer-prolog/blob/2d19243b3bac3cbad6679d6254cd7b6a2e6d1d4e/src/lib/charsio.pl
fabricate_var_name(VarType, VarName, N) :-
char_code('A', AC),
LN is N mod 26 + AC,
char_code(LC, LN),
NN is N // 26,
( NN =:= 0 ->
( VarType == fabricated ->
atom_chars(VarName, ['_', LC])
; VarType == numbervars ->
atom_chars(VarName, [LC])
)
; number_chars(NN, NNChars),
( VarType == fabricated ->
atom_chars(VarName, ['_', LC | NNChars])
; VarType == numbervars ->
atom_chars(VarName, [LC | NNChars])
)
).
|
