[m-dev.] diff: add .exp2 files for some debugger test cases
Fergus Henderson
fjh at cs.mu.OZ.AU
Tue Oct 26 18:34:48 AEST 1999
Estimated hours taken: 0.5
Fix some spurious test cases failures for the debugging test cases.
tests/debugger/shallow.exp2:
tests/debugger/browser_test.exp2:
tests/debugger/*.exp2:
Add alternative expected outputs for recently added test cases
that produce different results when built in debug grades (i.e.
when linked with a library was built with debugging enabled).
Workspace: /tmp/fjh/test_mercury_taifun
cvs diff: tests/debugger/browser_test.exp2 is a new entry, no comparison available
cvs diff: tests/debugger/shallow.exp2 is a new entry, no comparison available
==============================
tests/debugger/shallow.exp2
==============================
1: 1 1 CALL pred shallow:main/2-0 (cc_multi)
mdb> echo on
Command echo enabled.
mdb> c -a
2: 2 2 CALL pred io:write_string/3-0 (det)
[ 3: 2 2 EXIT pred io:write_string/3-0 (det)
4: 3 2 CALL pred io:write_int/3-0 (det)
1 5: 3 2 EXIT pred io:write_int/3-0 (det)
6: 4 2 CALL pred io:write_string/3-0 (det)
, 7: 4 2 EXIT pred io:write_string/3-0 (det)
8: 5 2 CALL pred io:write_int/3-0 (det)
3 9: 5 2 EXIT pred io:write_int/3-0 (det)
10: 6 2 CALL pred io:write_string/3-0 (det)
, 11: 6 2 EXIT pred io:write_string/3-0 (det)
12: 7 2 CALL pred io:write_int/3-0 (det)
5 13: 7 2 EXIT pred io:write_int/3-0 (det)
14: 8 2 CALL pred io:write_string/3-0 (det)
, 15: 8 2 EXIT pred io:write_string/3-0 (det)
16: 9 2 CALL pred io:write_int/3-0 (det)
2 17: 9 2 EXIT pred io:write_int/3-0 (det)
18: 10 2 CALL pred io:write_string/3-0 (det)
, 19: 10 2 EXIT pred io:write_string/3-0 (det)
20: 11 2 CALL pred io:write_int/3-0 (det)
4 21: 11 2 EXIT pred io:write_int/3-0 (det)
22: 12 2 CALL pred io:write_string/3-0 (det)
]
23: 12 2 EXIT pred io:write_string/3-0 (det)
24: 1 1 EXIT pred shallow:main/2-0 (cc_multi)
==============================
tests/debugger/browser_test.exp2
==============================
1: 1 1 CALL pred browser_test:main/2-0 (det)
mdb> echo on
Command echo enabled.
mdb> goto 3
3: 2 2 EXIT pred browser_test:big_data/1-0 (det)
mdb> print *
HeadVar__1 big(big(big(small, 1, small), 2, small), 3, big(big(small, 4, big/3), 6, small))
mdb> browse 1
browser> print
big(big(big(small, 1, small), 2, small), 3, big(big(small, 4, big/3), 6, small))
browser> quit
mdb> browse HeadVar__1
browser> ls
big
1-big
| 1-big
| | 1-small
| | 2-1
| | 3-small
| 2-2
| 3-small
2-3
3-big
1-big
| 1-small
| 2-4
| 3-big/3
2-6
3-small
browser> cd /1
browser> ls
big
1-big
| 1-small
| 2-1
| 3-small
2-2
3-small
browser> cd /1/2
browser> ls
2
browser> cd /3
browser> ls
big
1-big
| 1-small
| 2-4
| 3-big
| 1-small
| 2-5
| 3-small
2-6
3-small
browser> cd 1/3/2
browser> ls
5
browser> cd
browser> ls
big
1-big
| 1-big
| | 1-small
| | 2-1
| | 3-small
| 2-2
| 3-small
2-3
3-big
1-big
| 1-small
| 2-4
| 3-big/3
2-6
3-small
browser> quit
mdb> retry
2: 2 2 CALL pred browser_test:big_data/1-0 (det)
mdb> continue -a
3: 2 2 EXIT pred browser_test:big_data/1-0 (det)
4: 3 2 CALL pred io:print/3-0 (det)
5: 4 3 CALL pred std_util:type_to_univ/2-1 (det)
6: 4 3 EXIT pred std_util:type_to_univ/2-1 (det)
7: 5 3 CALL pred std_util:univ_to_type/2-0 (semidet)
8: 6 4 CALL pred std_util:type_to_univ/2-2 (semidet)
9: 6 4 FAIL pred std_util:type_to_univ/2-2 (semidet)
10: 5 3 FAIL pred std_util:univ_to_type/2-0 (semidet)
11: 3 2 ELSE pred io:print/3-0 (det) c2;e;
12: 7 3 CALL pred std_util:univ_to_type/2-0 (semidet)
13: 8 4 CALL pred std_util:type_to_univ/2-2 (semidet)
14: 8 4 FAIL pred std_util:type_to_univ/2-2 (semidet)
15: 7 3 FAIL pred std_util:univ_to_type/2-0 (semidet)
16: 3 2 ELSE pred io:print/3-0 (det) c2;e;e;
17: 9 3 CALL pred std_util:univ_to_type/2-0 (semidet)
18: 10 4 CALL pred std_util:type_to_univ/2-2 (semidet)
19: 10 4 FAIL pred std_util:type_to_univ/2-2 (semidet)
20: 9 3 FAIL pred std_util:univ_to_type/2-0 (semidet)
21: 3 2 ELSE pred io:print/3-0 (det) c2;e;e;e;
22: 11 3 CALL pred io:print_quoted/3-0 (det)
23: 12 4 CALL pred io:write/3-0 (det)
24: 13 5 CALL pred std_util:type_to_univ/2-1 (det)
25: 13 5 EXIT pred std_util:type_to_univ/2-1 (det)
26: 14 5 CALL pred io:write_univ/3-0 (det)
27: 15 6 CALL pred ops:max_priority/1-0 (det)
28: 15 6 EXIT pred ops:max_priority/1-0 (det)
29: 16 6 CALL pred io:write_univ/4-0 (det)
30: 17 7 CALL pred std_util:univ_to_type/2-0 (semidet)
31: 18 8 CALL pred std_util:type_to_univ/2-2 (semidet)
32: 18 8 FAIL pred std_util:type_to_univ/2-2 (semidet)
33: 17 7 FAIL pred std_util:univ_to_type/2-0 (semidet)
34: 16 6 ELSE pred io:write_univ/4-0 (det) e;
35: 19 7 CALL pred std_util:univ_to_type/2-0 (semidet)
36: 20 8 CALL pred std_util:type_to_univ/2-2 (semidet)
37: 20 8 FAIL pred std_util:type_to_univ/2-2 (semidet)
38: 19 7 FAIL pred std_util:univ_to_type/2-0 (semidet)
39: 16 6 ELSE pred io:write_univ/4-0 (det) e;e;
40: 21 7 CALL pred std_util:univ_to_type/2-0 (semidet)
41: 22 8 CALL pred std_util:type_to_univ/2-2 (semidet)
42: 22 8 FAIL pred std_util:type_to_univ/2-2 (semidet)
43: 21 7 FAIL pred std_util:univ_to_type/2-0 (semidet)
44: 16 6 ELSE pred io:write_univ/4-0 (det) e;e;e;
45: 23 7 CALL pred std_util:univ_to_type/2-0 (semidet)
46: 24 8 CALL pred std_util:type_to_univ/2-2 (semidet)
47: 24 8 FAIL pred std_util:type_to_univ/2-2 (semidet)
48: 23 7 FAIL pred std_util:univ_to_type/2-0 (semidet)
49: 16 6 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
50: 25 7 CALL pred std_util:univ_to_type/2-0 (semidet)
51: 26 8 CALL pred std_util:type_to_univ/2-2 (semidet)
52: 26 8 FAIL pred std_util:type_to_univ/2-2 (semidet)
53: 25 7 FAIL pred std_util:univ_to_type/2-0 (semidet)
54: 16 6 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
55: 27 7 CALL pred std_util:univ_to_type/2-0 (semidet)
56: 28 8 CALL pred std_util:type_to_univ/2-2 (semidet)
57: 28 8 FAIL pred std_util:type_to_univ/2-2 (semidet)
58: 27 7 FAIL pred std_util:univ_to_type/2-0 (semidet)
59: 16 6 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
60: 29 7 CALL pred std_util:univ_to_type/2-0 (semidet)
61: 30 8 CALL pred std_util:type_to_univ/2-2 (semidet)
62: 30 8 FAIL pred std_util:type_to_univ/2-2 (semidet)
63: 29 7 FAIL pred std_util:univ_to_type/2-0 (semidet)
64: 16 6 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
65: 31 7 CALL func std_util:univ_type/2-0 (det)
66: 31 7 EXIT func std_util:univ_type/2-0 (det)
67: 32 7 CALL pred std_util:type_ctor_and_args/3-0 (det)
68: 32 7 EXIT pred std_util:type_ctor_and_args/3-0 (det)
69: 16 6 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
70: 33 7 CALL func std_util:univ_type/2-0 (det)
71: 33 7 EXIT func std_util:univ_type/2-0 (det)
72: 34 7 CALL pred std_util:type_ctor_and_args/3-0 (det)
73: 34 7 EXIT pred std_util:type_ctor_and_args/3-0 (det)
74: 16 6 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
75: 35 7 CALL pred io:write_ordinary_term/4-0 (det)
76: 36 8 CALL pred std_util:deconstruct/4-0 (det)
77: 36 8 EXIT pred std_util:deconstruct/4-0 (det)
78: 37 8 CALL pred io:get_op_table/3-0 (det)
79: 38 9 CALL pred ops:init_op_table/1-0 (det)
80: 38 9 EXIT pred ops:init_op_table/1-0 (det)
81: 37 8 EXIT pred io:get_op_table/3-0 (det)
82: 35 7 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
83: 35 7 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
84: 35 7 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
85: 35 7 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
86: 35 7 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
87: 35 7 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
88: 35 7 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
89: 35 7 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
90: 39 8 CALL pred term_io:quote_atom/4-0 (det)
91: 39 8 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
92: 39 8 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
93: 40 9 CALL pred string:to_char_list/2-0 (det)
94: 41 10 CALL pred string:to_int_list/2-1 (det)
95: 41 10 EXIT pred string:to_int_list/2-1 (det)
96: 42 10 CALL pred string:int_list_to_char_list/2-0 (det)
97: 42 10 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
98: 43 11 CALL pred char:to_int/2-2 (semidet)
99: 43 11 EXIT pred char:to_int/2-2 (semidet)
100: 42 10 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
101: 44 11 CALL pred string:int_list_to_char_list/2-0 (det)
102: 44 11 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
103: 45 12 CALL pred char:to_int/2-2 (semidet)
104: 45 12 EXIT pred char:to_int/2-2 (semidet)
105: 44 11 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
106: 46 12 CALL pred string:int_list_to_char_list/2-0 (det)
107: 46 12 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
108: 47 13 CALL pred char:to_int/2-2 (semidet)
109: 47 13 EXIT pred char:to_int/2-2 (semidet)
110: 46 12 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
111: 48 13 CALL pred string:int_list_to_char_list/2-0 (det)
112: 48 13 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
113: 48 13 EXIT pred string:int_list_to_char_list/2-0 (det)
114: 46 12 EXIT pred string:int_list_to_char_list/2-0 (det)
115: 44 11 EXIT pred string:int_list_to_char_list/2-0 (det)
116: 42 10 EXIT pred string:int_list_to_char_list/2-0 (det)
117: 40 9 EXIT pred string:to_char_list/2-0 (det)
118: 49 9 CALL pred list:member/2-1 (nondet)
119: 49 9 DISJ pred list:member/2-1 (nondet) c2;d1;
120: 49 9 EXIT pred list:member/2-1 (nondet)
121: 50 9 CALL pred lexer:graphic_token_char/1-0 (semidet)
122: 50 9 FAIL pred lexer:graphic_token_char/1-0 (semidet)
123: 39 8 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
124: 51 9 CALL pred string:first_char/3-3 (semidet)
125: 51 9 EXIT pred string:first_char/3-3 (semidet)
126: 52 9 CALL pred char:is_lower/1-0 (semidet)
127: 53 10 CALL pred char:lower_upper/2-0 (semidet)
128: 53 10 SWTC pred char:lower_upper/2-0 (semidet) s2;
129: 53 10 EXIT pred char:lower_upper/2-0 (semidet)
130: 52 9 EXIT pred char:is_lower/1-0 (semidet)
131: 54 9 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
132: 55 10 CALL pred string:first_char/3-3 (semidet)
133: 55 10 EXIT pred string:first_char/3-3 (semidet)
134: 54 9 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
135: 56 10 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
136: 56 10 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s46;
137: 56 10 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
138: 57 10 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
139: 58 11 CALL pred string:first_char/3-3 (semidet)
140: 58 11 EXIT pred string:first_char/3-3 (semidet)
141: 57 10 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
142: 59 11 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
143: 59 11 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s44;
144: 59 11 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
145: 60 11 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
146: 61 12 CALL pred string:first_char/3-3 (semidet)
147: 61 12 FAIL pred string:first_char/3-3 (semidet)
148: 60 11 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
149: 60 11 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
150: 57 10 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
151: 54 9 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
152: 39 8 THEN pred term_io:quote_atom/4-0 (det) t;
153: 62 9 CALL pred io:write_string/3-0 (det)
big 154: 62 9 EXIT pred io:write_string/3-0 (det)
155: 39 8 EXIT pred term_io:quote_atom/4-0 (det)
156: 35 7 THEN pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;t;
157: 63 8 CALL pred io:write_char/3-0 (det)
( 158: 63 8 EXIT pred io:write_char/3-0 (det)
159: 64 8 CALL pred io:write_arg/3-0 (det)
160: 65 9 CALL pred io:arg_priority/3-0 (det)
161: 65 9 EXIT pred io:arg_priority/3-0 (det)
162: 66 9 CALL pred io:write_univ/4-0 (det)
163: 67 10 CALL pred std_util:univ_to_type/2-0 (semidet)
164: 68 11 CALL pred std_util:type_to_univ/2-2 (semidet)
165: 68 11 FAIL pred std_util:type_to_univ/2-2 (semidet)
166: 67 10 FAIL pred std_util:univ_to_type/2-0 (semidet)
167: 66 9 ELSE pred io:write_univ/4-0 (det) e;
168: 69 10 CALL pred std_util:univ_to_type/2-0 (semidet)
169: 70 11 CALL pred std_util:type_to_univ/2-2 (semidet)
170: 70 11 FAIL pred std_util:type_to_univ/2-2 (semidet)
171: 69 10 FAIL pred std_util:univ_to_type/2-0 (semidet)
172: 66 9 ELSE pred io:write_univ/4-0 (det) e;e;
173: 71 10 CALL pred std_util:univ_to_type/2-0 (semidet)
174: 72 11 CALL pred std_util:type_to_univ/2-2 (semidet)
175: 72 11 FAIL pred std_util:type_to_univ/2-2 (semidet)
176: 71 10 FAIL pred std_util:univ_to_type/2-0 (semidet)
177: 66 9 ELSE pred io:write_univ/4-0 (det) e;e;e;
178: 73 10 CALL pred std_util:univ_to_type/2-0 (semidet)
179: 74 11 CALL pred std_util:type_to_univ/2-2 (semidet)
180: 74 11 FAIL pred std_util:type_to_univ/2-2 (semidet)
181: 73 10 FAIL pred std_util:univ_to_type/2-0 (semidet)
182: 66 9 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
183: 75 10 CALL pred std_util:univ_to_type/2-0 (semidet)
184: 76 11 CALL pred std_util:type_to_univ/2-2 (semidet)
185: 76 11 FAIL pred std_util:type_to_univ/2-2 (semidet)
186: 75 10 FAIL pred std_util:univ_to_type/2-0 (semidet)
187: 66 9 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
188: 77 10 CALL pred std_util:univ_to_type/2-0 (semidet)
189: 78 11 CALL pred std_util:type_to_univ/2-2 (semidet)
190: 78 11 FAIL pred std_util:type_to_univ/2-2 (semidet)
191: 77 10 FAIL pred std_util:univ_to_type/2-0 (semidet)
192: 66 9 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
193: 79 10 CALL pred std_util:univ_to_type/2-0 (semidet)
194: 80 11 CALL pred std_util:type_to_univ/2-2 (semidet)
195: 80 11 FAIL pred std_util:type_to_univ/2-2 (semidet)
196: 79 10 FAIL pred std_util:univ_to_type/2-0 (semidet)
197: 66 9 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
198: 81 10 CALL func std_util:univ_type/2-0 (det)
199: 81 10 EXIT func std_util:univ_type/2-0 (det)
200: 82 10 CALL pred std_util:type_ctor_and_args/3-0 (det)
201: 82 10 EXIT pred std_util:type_ctor_and_args/3-0 (det)
202: 66 9 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
203: 83 10 CALL func std_util:univ_type/2-0 (det)
204: 83 10 EXIT func std_util:univ_type/2-0 (det)
205: 84 10 CALL pred std_util:type_ctor_and_args/3-0 (det)
206: 84 10 EXIT pred std_util:type_ctor_and_args/3-0 (det)
207: 66 9 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
208: 85 10 CALL pred io:write_ordinary_term/4-0 (det)
209: 86 11 CALL pred std_util:deconstruct/4-0 (det)
210: 86 11 EXIT pred std_util:deconstruct/4-0 (det)
211: 87 11 CALL pred io:get_op_table/3-0 (det)
212: 88 12 CALL pred ops:init_op_table/1-0 (det)
213: 88 12 EXIT pred ops:init_op_table/1-0 (det)
214: 87 11 EXIT pred io:get_op_table/3-0 (det)
215: 85 10 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
216: 85 10 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
217: 85 10 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
218: 85 10 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
219: 85 10 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
220: 85 10 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
221: 85 10 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
222: 85 10 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
223: 89 11 CALL pred term_io:quote_atom/4-0 (det)
224: 89 11 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
225: 89 11 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
226: 90 12 CALL pred string:to_char_list/2-0 (det)
227: 91 13 CALL pred string:to_int_list/2-1 (det)
228: 91 13 EXIT pred string:to_int_list/2-1 (det)
229: 92 13 CALL pred string:int_list_to_char_list/2-0 (det)
230: 92 13 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
231: 93 14 CALL pred char:to_int/2-2 (semidet)
232: 93 14 EXIT pred char:to_int/2-2 (semidet)
233: 92 13 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
234: 94 14 CALL pred string:int_list_to_char_list/2-0 (det)
235: 94 14 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
236: 95 15 CALL pred char:to_int/2-2 (semidet)
237: 95 15 EXIT pred char:to_int/2-2 (semidet)
238: 94 14 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
239: 96 15 CALL pred string:int_list_to_char_list/2-0 (det)
240: 96 15 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
241: 97 16 CALL pred char:to_int/2-2 (semidet)
242: 97 16 EXIT pred char:to_int/2-2 (semidet)
243: 96 15 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
244: 98 16 CALL pred string:int_list_to_char_list/2-0 (det)
245: 98 16 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
246: 98 16 EXIT pred string:int_list_to_char_list/2-0 (det)
247: 96 15 EXIT pred string:int_list_to_char_list/2-0 (det)
248: 94 14 EXIT pred string:int_list_to_char_list/2-0 (det)
249: 92 13 EXIT pred string:int_list_to_char_list/2-0 (det)
250: 90 12 EXIT pred string:to_char_list/2-0 (det)
251: 99 12 CALL pred list:member/2-1 (nondet)
252: 99 12 DISJ pred list:member/2-1 (nondet) c2;d1;
253: 99 12 EXIT pred list:member/2-1 (nondet)
254: 100 12 CALL pred lexer:graphic_token_char/1-0 (semidet)
255: 100 12 FAIL pred lexer:graphic_token_char/1-0 (semidet)
256: 89 11 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
257: 101 12 CALL pred string:first_char/3-3 (semidet)
258: 101 12 EXIT pred string:first_char/3-3 (semidet)
259: 102 12 CALL pred char:is_lower/1-0 (semidet)
260: 103 13 CALL pred char:lower_upper/2-0 (semidet)
261: 103 13 SWTC pred char:lower_upper/2-0 (semidet) s2;
262: 103 13 EXIT pred char:lower_upper/2-0 (semidet)
263: 102 12 EXIT pred char:is_lower/1-0 (semidet)
264: 104 12 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
265: 105 13 CALL pred string:first_char/3-3 (semidet)
266: 105 13 EXIT pred string:first_char/3-3 (semidet)
267: 104 12 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
268: 106 13 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
269: 106 13 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s46;
270: 106 13 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
271: 107 13 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
272: 108 14 CALL pred string:first_char/3-3 (semidet)
273: 108 14 EXIT pred string:first_char/3-3 (semidet)
274: 107 13 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
275: 109 14 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
276: 109 14 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s44;
277: 109 14 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
278: 110 14 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
279: 111 15 CALL pred string:first_char/3-3 (semidet)
280: 111 15 FAIL pred string:first_char/3-3 (semidet)
281: 110 14 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
282: 110 14 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
283: 107 13 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
284: 104 12 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
285: 89 11 THEN pred term_io:quote_atom/4-0 (det) t;
286: 112 12 CALL pred io:write_string/3-0 (det)
big 287: 112 12 EXIT pred io:write_string/3-0 (det)
288: 89 11 EXIT pred term_io:quote_atom/4-0 (det)
289: 85 10 THEN pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;t;
290: 113 11 CALL pred io:write_char/3-0 (det)
( 291: 113 11 EXIT pred io:write_char/3-0 (det)
292: 114 11 CALL pred io:write_arg/3-0 (det)
293: 115 12 CALL pred io:arg_priority/3-0 (det)
294: 115 12 EXIT pred io:arg_priority/3-0 (det)
295: 116 12 CALL pred io:write_univ/4-0 (det)
296: 117 13 CALL pred std_util:univ_to_type/2-0 (semidet)
297: 118 14 CALL pred std_util:type_to_univ/2-2 (semidet)
298: 118 14 FAIL pred std_util:type_to_univ/2-2 (semidet)
299: 117 13 FAIL pred std_util:univ_to_type/2-0 (semidet)
300: 116 12 ELSE pred io:write_univ/4-0 (det) e;
301: 119 13 CALL pred std_util:univ_to_type/2-0 (semidet)
302: 120 14 CALL pred std_util:type_to_univ/2-2 (semidet)
303: 120 14 FAIL pred std_util:type_to_univ/2-2 (semidet)
304: 119 13 FAIL pred std_util:univ_to_type/2-0 (semidet)
305: 116 12 ELSE pred io:write_univ/4-0 (det) e;e;
306: 121 13 CALL pred std_util:univ_to_type/2-0 (semidet)
307: 122 14 CALL pred std_util:type_to_univ/2-2 (semidet)
308: 122 14 FAIL pred std_util:type_to_univ/2-2 (semidet)
309: 121 13 FAIL pred std_util:univ_to_type/2-0 (semidet)
310: 116 12 ELSE pred io:write_univ/4-0 (det) e;e;e;
311: 123 13 CALL pred std_util:univ_to_type/2-0 (semidet)
312: 124 14 CALL pred std_util:type_to_univ/2-2 (semidet)
313: 124 14 FAIL pred std_util:type_to_univ/2-2 (semidet)
314: 123 13 FAIL pred std_util:univ_to_type/2-0 (semidet)
315: 116 12 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
316: 125 13 CALL pred std_util:univ_to_type/2-0 (semidet)
317: 126 14 CALL pred std_util:type_to_univ/2-2 (semidet)
318: 126 14 FAIL pred std_util:type_to_univ/2-2 (semidet)
319: 125 13 FAIL pred std_util:univ_to_type/2-0 (semidet)
320: 116 12 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
321: 127 13 CALL pred std_util:univ_to_type/2-0 (semidet)
322: 128 14 CALL pred std_util:type_to_univ/2-2 (semidet)
323: 128 14 FAIL pred std_util:type_to_univ/2-2 (semidet)
324: 127 13 FAIL pred std_util:univ_to_type/2-0 (semidet)
325: 116 12 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
326: 129 13 CALL pred std_util:univ_to_type/2-0 (semidet)
327: 130 14 CALL pred std_util:type_to_univ/2-2 (semidet)
328: 130 14 FAIL pred std_util:type_to_univ/2-2 (semidet)
329: 129 13 FAIL pred std_util:univ_to_type/2-0 (semidet)
330: 116 12 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
331: 131 13 CALL func std_util:univ_type/2-0 (det)
332: 131 13 EXIT func std_util:univ_type/2-0 (det)
333: 132 13 CALL pred std_util:type_ctor_and_args/3-0 (det)
334: 132 13 EXIT pred std_util:type_ctor_and_args/3-0 (det)
335: 116 12 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
336: 133 13 CALL func std_util:univ_type/2-0 (det)
337: 133 13 EXIT func std_util:univ_type/2-0 (det)
338: 134 13 CALL pred std_util:type_ctor_and_args/3-0 (det)
339: 134 13 EXIT pred std_util:type_ctor_and_args/3-0 (det)
340: 116 12 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
341: 135 13 CALL pred io:write_ordinary_term/4-0 (det)
342: 136 14 CALL pred std_util:deconstruct/4-0 (det)
343: 136 14 EXIT pred std_util:deconstruct/4-0 (det)
344: 137 14 CALL pred io:get_op_table/3-0 (det)
345: 138 15 CALL pred ops:init_op_table/1-0 (det)
346: 138 15 EXIT pred ops:init_op_table/1-0 (det)
347: 137 14 EXIT pred io:get_op_table/3-0 (det)
348: 135 13 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
349: 135 13 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
350: 135 13 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
351: 135 13 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
352: 135 13 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
353: 135 13 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
354: 135 13 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
355: 135 13 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
356: 139 14 CALL pred term_io:quote_atom/4-0 (det)
357: 139 14 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
358: 139 14 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
359: 140 15 CALL pred string:to_char_list/2-0 (det)
360: 141 16 CALL pred string:to_int_list/2-1 (det)
361: 141 16 EXIT pred string:to_int_list/2-1 (det)
362: 142 16 CALL pred string:int_list_to_char_list/2-0 (det)
363: 142 16 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
364: 143 17 CALL pred char:to_int/2-2 (semidet)
365: 143 17 EXIT pred char:to_int/2-2 (semidet)
366: 142 16 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
367: 144 17 CALL pred string:int_list_to_char_list/2-0 (det)
368: 144 17 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
369: 145 18 CALL pred char:to_int/2-2 (semidet)
370: 145 18 EXIT pred char:to_int/2-2 (semidet)
371: 144 17 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
372: 146 18 CALL pred string:int_list_to_char_list/2-0 (det)
373: 146 18 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
374: 147 19 CALL pred char:to_int/2-2 (semidet)
375: 147 19 EXIT pred char:to_int/2-2 (semidet)
376: 146 18 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
377: 148 19 CALL pred string:int_list_to_char_list/2-0 (det)
378: 148 19 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
379: 148 19 EXIT pred string:int_list_to_char_list/2-0 (det)
380: 146 18 EXIT pred string:int_list_to_char_list/2-0 (det)
381: 144 17 EXIT pred string:int_list_to_char_list/2-0 (det)
382: 142 16 EXIT pred string:int_list_to_char_list/2-0 (det)
383: 140 15 EXIT pred string:to_char_list/2-0 (det)
384: 149 15 CALL pred list:member/2-1 (nondet)
385: 149 15 DISJ pred list:member/2-1 (nondet) c2;d1;
386: 149 15 EXIT pred list:member/2-1 (nondet)
387: 150 15 CALL pred lexer:graphic_token_char/1-0 (semidet)
388: 150 15 FAIL pred lexer:graphic_token_char/1-0 (semidet)
389: 139 14 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
390: 151 15 CALL pred string:first_char/3-3 (semidet)
391: 151 15 EXIT pred string:first_char/3-3 (semidet)
392: 152 15 CALL pred char:is_lower/1-0 (semidet)
393: 153 16 CALL pred char:lower_upper/2-0 (semidet)
394: 153 16 SWTC pred char:lower_upper/2-0 (semidet) s2;
395: 153 16 EXIT pred char:lower_upper/2-0 (semidet)
396: 152 15 EXIT pred char:is_lower/1-0 (semidet)
397: 154 15 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
398: 155 16 CALL pred string:first_char/3-3 (semidet)
399: 155 16 EXIT pred string:first_char/3-3 (semidet)
400: 154 15 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
401: 156 16 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
402: 156 16 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s46;
403: 156 16 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
404: 157 16 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
405: 158 17 CALL pred string:first_char/3-3 (semidet)
406: 158 17 EXIT pred string:first_char/3-3 (semidet)
407: 157 16 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
408: 159 17 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
409: 159 17 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s44;
410: 159 17 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
411: 160 17 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
412: 161 18 CALL pred string:first_char/3-3 (semidet)
413: 161 18 FAIL pred string:first_char/3-3 (semidet)
414: 160 17 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
415: 160 17 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
416: 157 16 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
417: 154 15 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
418: 139 14 THEN pred term_io:quote_atom/4-0 (det) t;
419: 162 15 CALL pred io:write_string/3-0 (det)
big 420: 162 15 EXIT pred io:write_string/3-0 (det)
421: 139 14 EXIT pred term_io:quote_atom/4-0 (det)
422: 135 13 THEN pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;t;
423: 163 14 CALL pred io:write_char/3-0 (det)
( 424: 163 14 EXIT pred io:write_char/3-0 (det)
425: 164 14 CALL pred io:write_arg/3-0 (det)
426: 165 15 CALL pred io:arg_priority/3-0 (det)
427: 165 15 EXIT pred io:arg_priority/3-0 (det)
428: 166 15 CALL pred io:write_univ/4-0 (det)
429: 167 16 CALL pred std_util:univ_to_type/2-0 (semidet)
430: 168 17 CALL pred std_util:type_to_univ/2-2 (semidet)
431: 168 17 FAIL pred std_util:type_to_univ/2-2 (semidet)
432: 167 16 FAIL pred std_util:univ_to_type/2-0 (semidet)
433: 166 15 ELSE pred io:write_univ/4-0 (det) e;
434: 169 16 CALL pred std_util:univ_to_type/2-0 (semidet)
435: 170 17 CALL pred std_util:type_to_univ/2-2 (semidet)
436: 170 17 FAIL pred std_util:type_to_univ/2-2 (semidet)
437: 169 16 FAIL pred std_util:univ_to_type/2-0 (semidet)
438: 166 15 ELSE pred io:write_univ/4-0 (det) e;e;
439: 171 16 CALL pred std_util:univ_to_type/2-0 (semidet)
440: 172 17 CALL pred std_util:type_to_univ/2-2 (semidet)
441: 172 17 FAIL pred std_util:type_to_univ/2-2 (semidet)
442: 171 16 FAIL pred std_util:univ_to_type/2-0 (semidet)
443: 166 15 ELSE pred io:write_univ/4-0 (det) e;e;e;
444: 173 16 CALL pred std_util:univ_to_type/2-0 (semidet)
445: 174 17 CALL pred std_util:type_to_univ/2-2 (semidet)
446: 174 17 FAIL pred std_util:type_to_univ/2-2 (semidet)
447: 173 16 FAIL pred std_util:univ_to_type/2-0 (semidet)
448: 166 15 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
449: 175 16 CALL pred std_util:univ_to_type/2-0 (semidet)
450: 176 17 CALL pred std_util:type_to_univ/2-2 (semidet)
451: 176 17 FAIL pred std_util:type_to_univ/2-2 (semidet)
452: 175 16 FAIL pred std_util:univ_to_type/2-0 (semidet)
453: 166 15 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
454: 177 16 CALL pred std_util:univ_to_type/2-0 (semidet)
455: 178 17 CALL pred std_util:type_to_univ/2-2 (semidet)
456: 178 17 FAIL pred std_util:type_to_univ/2-2 (semidet)
457: 177 16 FAIL pred std_util:univ_to_type/2-0 (semidet)
458: 166 15 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
459: 179 16 CALL pred std_util:univ_to_type/2-0 (semidet)
460: 180 17 CALL pred std_util:type_to_univ/2-2 (semidet)
461: 180 17 FAIL pred std_util:type_to_univ/2-2 (semidet)
462: 179 16 FAIL pred std_util:univ_to_type/2-0 (semidet)
463: 166 15 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
464: 181 16 CALL func std_util:univ_type/2-0 (det)
465: 181 16 EXIT func std_util:univ_type/2-0 (det)
466: 182 16 CALL pred std_util:type_ctor_and_args/3-0 (det)
467: 182 16 EXIT pred std_util:type_ctor_and_args/3-0 (det)
468: 166 15 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
469: 183 16 CALL func std_util:univ_type/2-0 (det)
470: 183 16 EXIT func std_util:univ_type/2-0 (det)
471: 184 16 CALL pred std_util:type_ctor_and_args/3-0 (det)
472: 184 16 EXIT pred std_util:type_ctor_and_args/3-0 (det)
473: 166 15 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
474: 185 16 CALL pred io:write_ordinary_term/4-0 (det)
475: 186 17 CALL pred std_util:deconstruct/4-0 (det)
476: 186 17 EXIT pred std_util:deconstruct/4-0 (det)
477: 187 17 CALL pred io:get_op_table/3-0 (det)
478: 188 18 CALL pred ops:init_op_table/1-0 (det)
479: 188 18 EXIT pred ops:init_op_table/1-0 (det)
480: 187 17 EXIT pred io:get_op_table/3-0 (det)
481: 185 16 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
482: 185 16 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
483: 185 16 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
484: 185 16 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
485: 185 16 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
486: 185 16 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
487: 185 16 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
488: 189 17 CALL pred ops:lookup_op/2-0 (semidet)
489: 190 18 CALL pred ops:op_table/4-1 (nondet)
490: 190 18 FAIL pred ops:op_table/4-1 (nondet)
491: 189 17 FAIL pred ops:lookup_op/2-0 (semidet)
492: 185 16 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
493: 191 17 CALL pred term_io:quote_atom/4-0 (det)
494: 191 17 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
495: 191 17 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
496: 192 18 CALL pred string:to_char_list/2-0 (det)
497: 193 19 CALL pred string:to_int_list/2-1 (det)
498: 193 19 EXIT pred string:to_int_list/2-1 (det)
499: 194 19 CALL pred string:int_list_to_char_list/2-0 (det)
500: 194 19 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
501: 195 20 CALL pred char:to_int/2-2 (semidet)
502: 195 20 EXIT pred char:to_int/2-2 (semidet)
503: 194 19 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
504: 196 20 CALL pred string:int_list_to_char_list/2-0 (det)
505: 196 20 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
506: 197 21 CALL pred char:to_int/2-2 (semidet)
507: 197 21 EXIT pred char:to_int/2-2 (semidet)
508: 196 20 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
509: 198 21 CALL pred string:int_list_to_char_list/2-0 (det)
510: 198 21 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
511: 199 22 CALL pred char:to_int/2-2 (semidet)
512: 199 22 EXIT pred char:to_int/2-2 (semidet)
513: 198 21 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
514: 200 22 CALL pred string:int_list_to_char_list/2-0 (det)
515: 200 22 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
516: 201 23 CALL pred char:to_int/2-2 (semidet)
517: 201 23 EXIT pred char:to_int/2-2 (semidet)
518: 200 22 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
519: 202 23 CALL pred string:int_list_to_char_list/2-0 (det)
520: 202 23 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
521: 203 24 CALL pred char:to_int/2-2 (semidet)
522: 203 24 EXIT pred char:to_int/2-2 (semidet)
523: 202 23 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
524: 204 24 CALL pred string:int_list_to_char_list/2-0 (det)
525: 204 24 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
526: 204 24 EXIT pred string:int_list_to_char_list/2-0 (det)
527: 202 23 EXIT pred string:int_list_to_char_list/2-0 (det)
528: 200 22 EXIT pred string:int_list_to_char_list/2-0 (det)
529: 198 21 EXIT pred string:int_list_to_char_list/2-0 (det)
530: 196 20 EXIT pred string:int_list_to_char_list/2-0 (det)
531: 194 19 EXIT pred string:int_list_to_char_list/2-0 (det)
532: 192 18 EXIT pred string:to_char_list/2-0 (det)
533: 205 18 CALL pred list:member/2-1 (nondet)
534: 205 18 DISJ pred list:member/2-1 (nondet) c2;d1;
535: 205 18 EXIT pred list:member/2-1 (nondet)
536: 206 18 CALL pred lexer:graphic_token_char/1-0 (semidet)
537: 206 18 FAIL pred lexer:graphic_token_char/1-0 (semidet)
538: 191 17 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
539: 207 18 CALL pred string:first_char/3-3 (semidet)
540: 207 18 EXIT pred string:first_char/3-3 (semidet)
541: 208 18 CALL pred char:is_lower/1-0 (semidet)
542: 209 19 CALL pred char:lower_upper/2-0 (semidet)
543: 209 19 SWTC pred char:lower_upper/2-0 (semidet) s19;
544: 209 19 EXIT pred char:lower_upper/2-0 (semidet)
545: 208 18 EXIT pred char:is_lower/1-0 (semidet)
546: 210 18 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
547: 211 19 CALL pred string:first_char/3-3 (semidet)
548: 211 19 EXIT pred string:first_char/3-3 (semidet)
549: 210 18 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
550: 212 19 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
551: 212 19 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s50;
552: 212 19 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
553: 213 19 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
554: 214 20 CALL pred string:first_char/3-3 (semidet)
555: 214 20 EXIT pred string:first_char/3-3 (semidet)
556: 213 19 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
557: 215 20 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
558: 215 20 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s38;
559: 215 20 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
560: 216 20 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
561: 217 21 CALL pred string:first_char/3-3 (semidet)
562: 217 21 EXIT pred string:first_char/3-3 (semidet)
563: 216 20 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
564: 218 21 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
565: 218 21 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
566: 218 21 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
567: 219 21 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
568: 220 22 CALL pred string:first_char/3-3 (semidet)
569: 220 22 EXIT pred string:first_char/3-3 (semidet)
570: 219 21 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
571: 221 22 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
572: 221 22 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
573: 221 22 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
574: 222 22 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
575: 223 23 CALL pred string:first_char/3-3 (semidet)
576: 223 23 FAIL pred string:first_char/3-3 (semidet)
577: 222 22 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
578: 222 22 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
579: 219 21 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
580: 216 20 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
581: 213 19 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
582: 210 18 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
583: 191 17 THEN pred term_io:quote_atom/4-0 (det) t;
584: 224 18 CALL pred io:write_string/3-0 (det)
small 585: 224 18 EXIT pred io:write_string/3-0 (det)
586: 191 17 EXIT pred term_io:quote_atom/4-0 (det)
587: 185 16 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;e;
588: 185 16 EXIT pred io:write_ordinary_term/4-0 (det)
589: 166 15 EXIT pred io:write_univ/4-0 (det)
590: 164 14 EXIT pred io:write_arg/3-0 (det)
591: 225 14 CALL pred io:write_term_args/3-0 (det)
592: 225 14 SWTC pred io:write_term_args/3-0 (det) s1;
593: 226 15 CALL pred io:write_string/3-0 (det)
, 594: 226 15 EXIT pred io:write_string/3-0 (det)
595: 227 15 CALL pred io:write_arg/3-0 (det)
596: 228 16 CALL pred io:arg_priority/3-0 (det)
597: 228 16 EXIT pred io:arg_priority/3-0 (det)
598: 229 16 CALL pred io:write_univ/4-0 (det)
599: 230 17 CALL pred std_util:univ_to_type/2-0 (semidet)
600: 231 18 CALL pred std_util:type_to_univ/2-2 (semidet)
601: 231 18 FAIL pred std_util:type_to_univ/2-2 (semidet)
602: 230 17 FAIL pred std_util:univ_to_type/2-0 (semidet)
603: 229 16 ELSE pred io:write_univ/4-0 (det) e;
604: 232 17 CALL pred std_util:univ_to_type/2-0 (semidet)
605: 233 18 CALL pred std_util:type_to_univ/2-2 (semidet)
606: 233 18 FAIL pred std_util:type_to_univ/2-2 (semidet)
607: 232 17 FAIL pred std_util:univ_to_type/2-0 (semidet)
608: 229 16 ELSE pred io:write_univ/4-0 (det) e;e;
609: 234 17 CALL pred std_util:univ_to_type/2-0 (semidet)
610: 235 18 CALL pred std_util:type_to_univ/2-2 (semidet)
611: 235 18 EXIT pred std_util:type_to_univ/2-2 (semidet)
612: 234 17 EXIT pred std_util:univ_to_type/2-0 (semidet)
613: 229 16 THEN pred io:write_univ/4-0 (det) e;e;t;
614: 236 17 CALL pred io:write_int/3-0 (det)
1 615: 236 17 EXIT pred io:write_int/3-0 (det)
616: 229 16 EXIT pred io:write_univ/4-0 (det)
617: 227 15 EXIT pred io:write_arg/3-0 (det)
618: 237 15 CALL pred io:write_term_args/3-0 (det)
619: 237 15 SWTC pred io:write_term_args/3-0 (det) s1;
620: 238 16 CALL pred io:write_string/3-0 (det)
, 621: 238 16 EXIT pred io:write_string/3-0 (det)
622: 239 16 CALL pred io:write_arg/3-0 (det)
623: 240 17 CALL pred io:arg_priority/3-0 (det)
624: 240 17 EXIT pred io:arg_priority/3-0 (det)
625: 241 17 CALL pred io:write_univ/4-0 (det)
626: 242 18 CALL pred std_util:univ_to_type/2-0 (semidet)
627: 243 19 CALL pred std_util:type_to_univ/2-2 (semidet)
628: 243 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
629: 242 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
630: 241 17 ELSE pred io:write_univ/4-0 (det) e;
631: 244 18 CALL pred std_util:univ_to_type/2-0 (semidet)
632: 245 19 CALL pred std_util:type_to_univ/2-2 (semidet)
633: 245 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
634: 244 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
635: 241 17 ELSE pred io:write_univ/4-0 (det) e;e;
636: 246 18 CALL pred std_util:univ_to_type/2-0 (semidet)
637: 247 19 CALL pred std_util:type_to_univ/2-2 (semidet)
638: 247 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
639: 246 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
640: 241 17 ELSE pred io:write_univ/4-0 (det) e;e;e;
641: 248 18 CALL pred std_util:univ_to_type/2-0 (semidet)
642: 249 19 CALL pred std_util:type_to_univ/2-2 (semidet)
643: 249 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
644: 248 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
645: 241 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
646: 250 18 CALL pred std_util:univ_to_type/2-0 (semidet)
647: 251 19 CALL pred std_util:type_to_univ/2-2 (semidet)
648: 251 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
649: 250 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
650: 241 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
651: 252 18 CALL pred std_util:univ_to_type/2-0 (semidet)
652: 253 19 CALL pred std_util:type_to_univ/2-2 (semidet)
653: 253 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
654: 252 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
655: 241 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
656: 254 18 CALL pred std_util:univ_to_type/2-0 (semidet)
657: 255 19 CALL pred std_util:type_to_univ/2-2 (semidet)
658: 255 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
659: 254 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
660: 241 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
661: 256 18 CALL func std_util:univ_type/2-0 (det)
662: 256 18 EXIT func std_util:univ_type/2-0 (det)
663: 257 18 CALL pred std_util:type_ctor_and_args/3-0 (det)
664: 257 18 EXIT pred std_util:type_ctor_and_args/3-0 (det)
665: 241 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
666: 258 18 CALL func std_util:univ_type/2-0 (det)
667: 258 18 EXIT func std_util:univ_type/2-0 (det)
668: 259 18 CALL pred std_util:type_ctor_and_args/3-0 (det)
669: 259 18 EXIT pred std_util:type_ctor_and_args/3-0 (det)
670: 241 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
671: 260 18 CALL pred io:write_ordinary_term/4-0 (det)
672: 261 19 CALL pred std_util:deconstruct/4-0 (det)
673: 261 19 EXIT pred std_util:deconstruct/4-0 (det)
674: 262 19 CALL pred io:get_op_table/3-0 (det)
675: 263 20 CALL pred ops:init_op_table/1-0 (det)
676: 263 20 EXIT pred ops:init_op_table/1-0 (det)
677: 262 19 EXIT pred io:get_op_table/3-0 (det)
678: 260 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
679: 260 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
680: 260 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
681: 260 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
682: 260 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
683: 260 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
684: 260 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
685: 264 19 CALL pred ops:lookup_op/2-0 (semidet)
686: 265 20 CALL pred ops:op_table/4-1 (nondet)
687: 265 20 FAIL pred ops:op_table/4-1 (nondet)
688: 264 19 FAIL pred ops:lookup_op/2-0 (semidet)
689: 260 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
690: 266 19 CALL pred term_io:quote_atom/4-0 (det)
691: 266 19 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
692: 266 19 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
693: 267 20 CALL pred string:to_char_list/2-0 (det)
694: 268 21 CALL pred string:to_int_list/2-1 (det)
695: 268 21 EXIT pred string:to_int_list/2-1 (det)
696: 269 21 CALL pred string:int_list_to_char_list/2-0 (det)
697: 269 21 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
698: 270 22 CALL pred char:to_int/2-2 (semidet)
699: 270 22 EXIT pred char:to_int/2-2 (semidet)
700: 269 21 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
701: 271 22 CALL pred string:int_list_to_char_list/2-0 (det)
702: 271 22 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
703: 272 23 CALL pred char:to_int/2-2 (semidet)
704: 272 23 EXIT pred char:to_int/2-2 (semidet)
705: 271 22 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
706: 273 23 CALL pred string:int_list_to_char_list/2-0 (det)
707: 273 23 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
708: 274 24 CALL pred char:to_int/2-2 (semidet)
709: 274 24 EXIT pred char:to_int/2-2 (semidet)
710: 273 23 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
711: 275 24 CALL pred string:int_list_to_char_list/2-0 (det)
712: 275 24 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
713: 276 25 CALL pred char:to_int/2-2 (semidet)
714: 276 25 EXIT pred char:to_int/2-2 (semidet)
715: 275 24 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
716: 277 25 CALL pred string:int_list_to_char_list/2-0 (det)
717: 277 25 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
718: 278 26 CALL pred char:to_int/2-2 (semidet)
719: 278 26 EXIT pred char:to_int/2-2 (semidet)
720: 277 25 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
721: 279 26 CALL pred string:int_list_to_char_list/2-0 (det)
722: 279 26 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
723: 279 26 EXIT pred string:int_list_to_char_list/2-0 (det)
724: 277 25 EXIT pred string:int_list_to_char_list/2-0 (det)
725: 275 24 EXIT pred string:int_list_to_char_list/2-0 (det)
726: 273 23 EXIT pred string:int_list_to_char_list/2-0 (det)
727: 271 22 EXIT pred string:int_list_to_char_list/2-0 (det)
728: 269 21 EXIT pred string:int_list_to_char_list/2-0 (det)
729: 267 20 EXIT pred string:to_char_list/2-0 (det)
730: 280 20 CALL pred list:member/2-1 (nondet)
731: 280 20 DISJ pred list:member/2-1 (nondet) c2;d1;
732: 280 20 EXIT pred list:member/2-1 (nondet)
733: 281 20 CALL pred lexer:graphic_token_char/1-0 (semidet)
734: 281 20 FAIL pred lexer:graphic_token_char/1-0 (semidet)
735: 266 19 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
736: 282 20 CALL pred string:first_char/3-3 (semidet)
737: 282 20 EXIT pred string:first_char/3-3 (semidet)
738: 283 20 CALL pred char:is_lower/1-0 (semidet)
739: 284 21 CALL pred char:lower_upper/2-0 (semidet)
740: 284 21 SWTC pred char:lower_upper/2-0 (semidet) s19;
741: 284 21 EXIT pred char:lower_upper/2-0 (semidet)
742: 283 20 EXIT pred char:is_lower/1-0 (semidet)
743: 285 20 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
744: 286 21 CALL pred string:first_char/3-3 (semidet)
745: 286 21 EXIT pred string:first_char/3-3 (semidet)
746: 285 20 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
747: 287 21 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
748: 287 21 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s50;
749: 287 21 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
750: 288 21 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
751: 289 22 CALL pred string:first_char/3-3 (semidet)
752: 289 22 EXIT pred string:first_char/3-3 (semidet)
753: 288 21 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
754: 290 22 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
755: 290 22 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s38;
756: 290 22 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
757: 291 22 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
758: 292 23 CALL pred string:first_char/3-3 (semidet)
759: 292 23 EXIT pred string:first_char/3-3 (semidet)
760: 291 22 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
761: 293 23 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
762: 293 23 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
763: 293 23 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
764: 294 23 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
765: 295 24 CALL pred string:first_char/3-3 (semidet)
766: 295 24 EXIT pred string:first_char/3-3 (semidet)
767: 294 23 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
768: 296 24 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
769: 296 24 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
770: 296 24 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
771: 297 24 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
772: 298 25 CALL pred string:first_char/3-3 (semidet)
773: 298 25 FAIL pred string:first_char/3-3 (semidet)
774: 297 24 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
775: 297 24 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
776: 294 23 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
777: 291 22 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
778: 288 21 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
779: 285 20 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
780: 266 19 THEN pred term_io:quote_atom/4-0 (det) t;
781: 299 20 CALL pred io:write_string/3-0 (det)
small 782: 299 20 EXIT pred io:write_string/3-0 (det)
783: 266 19 EXIT pred term_io:quote_atom/4-0 (det)
784: 260 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;e;
785: 260 18 EXIT pred io:write_ordinary_term/4-0 (det)
786: 241 17 EXIT pred io:write_univ/4-0 (det)
787: 239 16 EXIT pred io:write_arg/3-0 (det)
788: 300 16 CALL pred io:write_term_args/3-0 (det)
789: 300 16 SWTC pred io:write_term_args/3-0 (det) s2;
790: 300 16 EXIT pred io:write_term_args/3-0 (det)
791: 237 15 EXIT pred io:write_term_args/3-0 (det)
792: 225 14 EXIT pred io:write_term_args/3-0 (det)
793: 301 14 CALL pred io:write_char/3-0 (det)
) 794: 301 14 EXIT pred io:write_char/3-0 (det)
795: 135 13 EXIT pred io:write_ordinary_term/4-0 (det)
796: 116 12 EXIT pred io:write_univ/4-0 (det)
797: 114 11 EXIT pred io:write_arg/3-0 (det)
798: 302 11 CALL pred io:write_term_args/3-0 (det)
799: 302 11 SWTC pred io:write_term_args/3-0 (det) s1;
800: 303 12 CALL pred io:write_string/3-0 (det)
, 801: 303 12 EXIT pred io:write_string/3-0 (det)
802: 304 12 CALL pred io:write_arg/3-0 (det)
803: 305 13 CALL pred io:arg_priority/3-0 (det)
804: 305 13 EXIT pred io:arg_priority/3-0 (det)
805: 306 13 CALL pred io:write_univ/4-0 (det)
806: 307 14 CALL pred std_util:univ_to_type/2-0 (semidet)
807: 308 15 CALL pred std_util:type_to_univ/2-2 (semidet)
808: 308 15 FAIL pred std_util:type_to_univ/2-2 (semidet)
809: 307 14 FAIL pred std_util:univ_to_type/2-0 (semidet)
810: 306 13 ELSE pred io:write_univ/4-0 (det) e;
811: 309 14 CALL pred std_util:univ_to_type/2-0 (semidet)
812: 310 15 CALL pred std_util:type_to_univ/2-2 (semidet)
813: 310 15 FAIL pred std_util:type_to_univ/2-2 (semidet)
814: 309 14 FAIL pred std_util:univ_to_type/2-0 (semidet)
815: 306 13 ELSE pred io:write_univ/4-0 (det) e;e;
816: 311 14 CALL pred std_util:univ_to_type/2-0 (semidet)
817: 312 15 CALL pred std_util:type_to_univ/2-2 (semidet)
818: 312 15 EXIT pred std_util:type_to_univ/2-2 (semidet)
819: 311 14 EXIT pred std_util:univ_to_type/2-0 (semidet)
820: 306 13 THEN pred io:write_univ/4-0 (det) e;e;t;
821: 313 14 CALL pred io:write_int/3-0 (det)
2 822: 313 14 EXIT pred io:write_int/3-0 (det)
823: 306 13 EXIT pred io:write_univ/4-0 (det)
824: 304 12 EXIT pred io:write_arg/3-0 (det)
825: 314 12 CALL pred io:write_term_args/3-0 (det)
826: 314 12 SWTC pred io:write_term_args/3-0 (det) s1;
827: 315 13 CALL pred io:write_string/3-0 (det)
, 828: 315 13 EXIT pred io:write_string/3-0 (det)
829: 316 13 CALL pred io:write_arg/3-0 (det)
830: 317 14 CALL pred io:arg_priority/3-0 (det)
831: 317 14 EXIT pred io:arg_priority/3-0 (det)
832: 318 14 CALL pred io:write_univ/4-0 (det)
833: 319 15 CALL pred std_util:univ_to_type/2-0 (semidet)
834: 320 16 CALL pred std_util:type_to_univ/2-2 (semidet)
835: 320 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
836: 319 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
837: 318 14 ELSE pred io:write_univ/4-0 (det) e;
838: 321 15 CALL pred std_util:univ_to_type/2-0 (semidet)
839: 322 16 CALL pred std_util:type_to_univ/2-2 (semidet)
840: 322 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
841: 321 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
842: 318 14 ELSE pred io:write_univ/4-0 (det) e;e;
843: 323 15 CALL pred std_util:univ_to_type/2-0 (semidet)
844: 324 16 CALL pred std_util:type_to_univ/2-2 (semidet)
845: 324 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
846: 323 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
847: 318 14 ELSE pred io:write_univ/4-0 (det) e;e;e;
848: 325 15 CALL pred std_util:univ_to_type/2-0 (semidet)
849: 326 16 CALL pred std_util:type_to_univ/2-2 (semidet)
850: 326 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
851: 325 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
852: 318 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
853: 327 15 CALL pred std_util:univ_to_type/2-0 (semidet)
854: 328 16 CALL pred std_util:type_to_univ/2-2 (semidet)
855: 328 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
856: 327 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
857: 318 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
858: 329 15 CALL pred std_util:univ_to_type/2-0 (semidet)
859: 330 16 CALL pred std_util:type_to_univ/2-2 (semidet)
860: 330 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
861: 329 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
862: 318 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
863: 331 15 CALL pred std_util:univ_to_type/2-0 (semidet)
864: 332 16 CALL pred std_util:type_to_univ/2-2 (semidet)
865: 332 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
866: 331 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
867: 318 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
868: 333 15 CALL func std_util:univ_type/2-0 (det)
869: 333 15 EXIT func std_util:univ_type/2-0 (det)
870: 334 15 CALL pred std_util:type_ctor_and_args/3-0 (det)
871: 334 15 EXIT pred std_util:type_ctor_and_args/3-0 (det)
872: 318 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
873: 335 15 CALL func std_util:univ_type/2-0 (det)
874: 335 15 EXIT func std_util:univ_type/2-0 (det)
875: 336 15 CALL pred std_util:type_ctor_and_args/3-0 (det)
876: 336 15 EXIT pred std_util:type_ctor_and_args/3-0 (det)
877: 318 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
878: 337 15 CALL pred io:write_ordinary_term/4-0 (det)
879: 338 16 CALL pred std_util:deconstruct/4-0 (det)
880: 338 16 EXIT pred std_util:deconstruct/4-0 (det)
881: 339 16 CALL pred io:get_op_table/3-0 (det)
882: 340 17 CALL pred ops:init_op_table/1-0 (det)
883: 340 17 EXIT pred ops:init_op_table/1-0 (det)
884: 339 16 EXIT pred io:get_op_table/3-0 (det)
885: 337 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
886: 337 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
887: 337 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
888: 337 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
889: 337 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
890: 337 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
891: 337 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
892: 341 16 CALL pred ops:lookup_op/2-0 (semidet)
893: 342 17 CALL pred ops:op_table/4-1 (nondet)
894: 342 17 FAIL pred ops:op_table/4-1 (nondet)
895: 341 16 FAIL pred ops:lookup_op/2-0 (semidet)
896: 337 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
897: 343 16 CALL pred term_io:quote_atom/4-0 (det)
898: 343 16 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
899: 343 16 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
900: 344 17 CALL pred string:to_char_list/2-0 (det)
901: 345 18 CALL pred string:to_int_list/2-1 (det)
902: 345 18 EXIT pred string:to_int_list/2-1 (det)
903: 346 18 CALL pred string:int_list_to_char_list/2-0 (det)
904: 346 18 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
905: 347 19 CALL pred char:to_int/2-2 (semidet)
906: 347 19 EXIT pred char:to_int/2-2 (semidet)
907: 346 18 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
908: 348 19 CALL pred string:int_list_to_char_list/2-0 (det)
909: 348 19 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
910: 349 20 CALL pred char:to_int/2-2 (semidet)
911: 349 20 EXIT pred char:to_int/2-2 (semidet)
912: 348 19 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
913: 350 20 CALL pred string:int_list_to_char_list/2-0 (det)
914: 350 20 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
915: 351 21 CALL pred char:to_int/2-2 (semidet)
916: 351 21 EXIT pred char:to_int/2-2 (semidet)
917: 350 20 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
918: 352 21 CALL pred string:int_list_to_char_list/2-0 (det)
919: 352 21 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
920: 353 22 CALL pred char:to_int/2-2 (semidet)
921: 353 22 EXIT pred char:to_int/2-2 (semidet)
922: 352 21 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
923: 354 22 CALL pred string:int_list_to_char_list/2-0 (det)
924: 354 22 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
925: 355 23 CALL pred char:to_int/2-2 (semidet)
926: 355 23 EXIT pred char:to_int/2-2 (semidet)
927: 354 22 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
928: 356 23 CALL pred string:int_list_to_char_list/2-0 (det)
929: 356 23 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
930: 356 23 EXIT pred string:int_list_to_char_list/2-0 (det)
931: 354 22 EXIT pred string:int_list_to_char_list/2-0 (det)
932: 352 21 EXIT pred string:int_list_to_char_list/2-0 (det)
933: 350 20 EXIT pred string:int_list_to_char_list/2-0 (det)
934: 348 19 EXIT pred string:int_list_to_char_list/2-0 (det)
935: 346 18 EXIT pred string:int_list_to_char_list/2-0 (det)
936: 344 17 EXIT pred string:to_char_list/2-0 (det)
937: 357 17 CALL pred list:member/2-1 (nondet)
938: 357 17 DISJ pred list:member/2-1 (nondet) c2;d1;
939: 357 17 EXIT pred list:member/2-1 (nondet)
940: 358 17 CALL pred lexer:graphic_token_char/1-0 (semidet)
941: 358 17 FAIL pred lexer:graphic_token_char/1-0 (semidet)
942: 343 16 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
943: 359 17 CALL pred string:first_char/3-3 (semidet)
944: 359 17 EXIT pred string:first_char/3-3 (semidet)
945: 360 17 CALL pred char:is_lower/1-0 (semidet)
946: 361 18 CALL pred char:lower_upper/2-0 (semidet)
947: 361 18 SWTC pred char:lower_upper/2-0 (semidet) s19;
948: 361 18 EXIT pred char:lower_upper/2-0 (semidet)
949: 360 17 EXIT pred char:is_lower/1-0 (semidet)
950: 362 17 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
951: 363 18 CALL pred string:first_char/3-3 (semidet)
952: 363 18 EXIT pred string:first_char/3-3 (semidet)
953: 362 17 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
954: 364 18 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
955: 364 18 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s50;
956: 364 18 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
957: 365 18 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
958: 366 19 CALL pred string:first_char/3-3 (semidet)
959: 366 19 EXIT pred string:first_char/3-3 (semidet)
960: 365 18 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
961: 367 19 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
962: 367 19 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s38;
963: 367 19 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
964: 368 19 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
965: 369 20 CALL pred string:first_char/3-3 (semidet)
966: 369 20 EXIT pred string:first_char/3-3 (semidet)
967: 368 19 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
968: 370 20 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
969: 370 20 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
970: 370 20 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
971: 371 20 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
972: 372 21 CALL pred string:first_char/3-3 (semidet)
973: 372 21 EXIT pred string:first_char/3-3 (semidet)
974: 371 20 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
975: 373 21 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
976: 373 21 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
977: 373 21 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
978: 374 21 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
979: 375 22 CALL pred string:first_char/3-3 (semidet)
980: 375 22 FAIL pred string:first_char/3-3 (semidet)
981: 374 21 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
982: 374 21 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
983: 371 20 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
984: 368 19 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
985: 365 18 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
986: 362 17 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
987: 343 16 THEN pred term_io:quote_atom/4-0 (det) t;
988: 376 17 CALL pred io:write_string/3-0 (det)
small 989: 376 17 EXIT pred io:write_string/3-0 (det)
990: 343 16 EXIT pred term_io:quote_atom/4-0 (det)
991: 337 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;e;
992: 337 15 EXIT pred io:write_ordinary_term/4-0 (det)
993: 318 14 EXIT pred io:write_univ/4-0 (det)
994: 316 13 EXIT pred io:write_arg/3-0 (det)
995: 377 13 CALL pred io:write_term_args/3-0 (det)
996: 377 13 SWTC pred io:write_term_args/3-0 (det) s2;
997: 377 13 EXIT pred io:write_term_args/3-0 (det)
998: 314 12 EXIT pred io:write_term_args/3-0 (det)
999: 302 11 EXIT pred io:write_term_args/3-0 (det)
1000: 378 11 CALL pred io:write_char/3-0 (det)
) 1001: 378 11 EXIT pred io:write_char/3-0 (det)
1002: 85 10 EXIT pred io:write_ordinary_term/4-0 (det)
1003: 66 9 EXIT pred io:write_univ/4-0 (det)
1004: 64 8 EXIT pred io:write_arg/3-0 (det)
1005: 379 8 CALL pred io:write_term_args/3-0 (det)
1006: 379 8 SWTC pred io:write_term_args/3-0 (det) s1;
1007: 380 9 CALL pred io:write_string/3-0 (det)
, 1008: 380 9 EXIT pred io:write_string/3-0 (det)
1009: 381 9 CALL pred io:write_arg/3-0 (det)
1010: 382 10 CALL pred io:arg_priority/3-0 (det)
1011: 382 10 EXIT pred io:arg_priority/3-0 (det)
1012: 383 10 CALL pred io:write_univ/4-0 (det)
1013: 384 11 CALL pred std_util:univ_to_type/2-0 (semidet)
1014: 385 12 CALL pred std_util:type_to_univ/2-2 (semidet)
1015: 385 12 FAIL pred std_util:type_to_univ/2-2 (semidet)
1016: 384 11 FAIL pred std_util:univ_to_type/2-0 (semidet)
1017: 383 10 ELSE pred io:write_univ/4-0 (det) e;
1018: 386 11 CALL pred std_util:univ_to_type/2-0 (semidet)
1019: 387 12 CALL pred std_util:type_to_univ/2-2 (semidet)
1020: 387 12 FAIL pred std_util:type_to_univ/2-2 (semidet)
1021: 386 11 FAIL pred std_util:univ_to_type/2-0 (semidet)
1022: 383 10 ELSE pred io:write_univ/4-0 (det) e;e;
1023: 388 11 CALL pred std_util:univ_to_type/2-0 (semidet)
1024: 389 12 CALL pred std_util:type_to_univ/2-2 (semidet)
1025: 389 12 EXIT pred std_util:type_to_univ/2-2 (semidet)
1026: 388 11 EXIT pred std_util:univ_to_type/2-0 (semidet)
1027: 383 10 THEN pred io:write_univ/4-0 (det) e;e;t;
1028: 390 11 CALL pred io:write_int/3-0 (det)
3 1029: 390 11 EXIT pred io:write_int/3-0 (det)
1030: 383 10 EXIT pred io:write_univ/4-0 (det)
1031: 381 9 EXIT pred io:write_arg/3-0 (det)
1032: 391 9 CALL pred io:write_term_args/3-0 (det)
1033: 391 9 SWTC pred io:write_term_args/3-0 (det) s1;
1034: 392 10 CALL pred io:write_string/3-0 (det)
, 1035: 392 10 EXIT pred io:write_string/3-0 (det)
1036: 393 10 CALL pred io:write_arg/3-0 (det)
1037: 394 11 CALL pred io:arg_priority/3-0 (det)
1038: 394 11 EXIT pred io:arg_priority/3-0 (det)
1039: 395 11 CALL pred io:write_univ/4-0 (det)
1040: 396 12 CALL pred std_util:univ_to_type/2-0 (semidet)
1041: 397 13 CALL pred std_util:type_to_univ/2-2 (semidet)
1042: 397 13 FAIL pred std_util:type_to_univ/2-2 (semidet)
1043: 396 12 FAIL pred std_util:univ_to_type/2-0 (semidet)
1044: 395 11 ELSE pred io:write_univ/4-0 (det) e;
1045: 398 12 CALL pred std_util:univ_to_type/2-0 (semidet)
1046: 399 13 CALL pred std_util:type_to_univ/2-2 (semidet)
1047: 399 13 FAIL pred std_util:type_to_univ/2-2 (semidet)
1048: 398 12 FAIL pred std_util:univ_to_type/2-0 (semidet)
1049: 395 11 ELSE pred io:write_univ/4-0 (det) e;e;
1050: 400 12 CALL pred std_util:univ_to_type/2-0 (semidet)
1051: 401 13 CALL pred std_util:type_to_univ/2-2 (semidet)
1052: 401 13 FAIL pred std_util:type_to_univ/2-2 (semidet)
1053: 400 12 FAIL pred std_util:univ_to_type/2-0 (semidet)
1054: 395 11 ELSE pred io:write_univ/4-0 (det) e;e;e;
1055: 402 12 CALL pred std_util:univ_to_type/2-0 (semidet)
1056: 403 13 CALL pred std_util:type_to_univ/2-2 (semidet)
1057: 403 13 FAIL pred std_util:type_to_univ/2-2 (semidet)
1058: 402 12 FAIL pred std_util:univ_to_type/2-0 (semidet)
1059: 395 11 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
1060: 404 12 CALL pred std_util:univ_to_type/2-0 (semidet)
1061: 405 13 CALL pred std_util:type_to_univ/2-2 (semidet)
1062: 405 13 FAIL pred std_util:type_to_univ/2-2 (semidet)
1063: 404 12 FAIL pred std_util:univ_to_type/2-0 (semidet)
1064: 395 11 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
1065: 406 12 CALL pred std_util:univ_to_type/2-0 (semidet)
1066: 407 13 CALL pred std_util:type_to_univ/2-2 (semidet)
1067: 407 13 FAIL pred std_util:type_to_univ/2-2 (semidet)
1068: 406 12 FAIL pred std_util:univ_to_type/2-0 (semidet)
1069: 395 11 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
1070: 408 12 CALL pred std_util:univ_to_type/2-0 (semidet)
1071: 409 13 CALL pred std_util:type_to_univ/2-2 (semidet)
1072: 409 13 FAIL pred std_util:type_to_univ/2-2 (semidet)
1073: 408 12 FAIL pred std_util:univ_to_type/2-0 (semidet)
1074: 395 11 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
1075: 410 12 CALL func std_util:univ_type/2-0 (det)
1076: 410 12 EXIT func std_util:univ_type/2-0 (det)
1077: 411 12 CALL pred std_util:type_ctor_and_args/3-0 (det)
1078: 411 12 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1079: 395 11 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
1080: 412 12 CALL func std_util:univ_type/2-0 (det)
1081: 412 12 EXIT func std_util:univ_type/2-0 (det)
1082: 413 12 CALL pred std_util:type_ctor_and_args/3-0 (det)
1083: 413 12 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1084: 395 11 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
1085: 414 12 CALL pred io:write_ordinary_term/4-0 (det)
1086: 415 13 CALL pred std_util:deconstruct/4-0 (det)
1087: 415 13 EXIT pred std_util:deconstruct/4-0 (det)
1088: 416 13 CALL pred io:get_op_table/3-0 (det)
1089: 417 14 CALL pred ops:init_op_table/1-0 (det)
1090: 417 14 EXIT pred ops:init_op_table/1-0 (det)
1091: 416 13 EXIT pred io:get_op_table/3-0 (det)
1092: 414 12 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
1093: 414 12 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
1094: 414 12 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
1095: 414 12 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
1096: 414 12 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
1097: 414 12 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
1098: 414 12 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
1099: 414 12 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
1100: 418 13 CALL pred term_io:quote_atom/4-0 (det)
1101: 418 13 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
1102: 418 13 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
1103: 419 14 CALL pred string:to_char_list/2-0 (det)
1104: 420 15 CALL pred string:to_int_list/2-1 (det)
1105: 420 15 EXIT pred string:to_int_list/2-1 (det)
1106: 421 15 CALL pred string:int_list_to_char_list/2-0 (det)
1107: 421 15 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1108: 422 16 CALL pred char:to_int/2-2 (semidet)
1109: 422 16 EXIT pred char:to_int/2-2 (semidet)
1110: 421 15 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1111: 423 16 CALL pred string:int_list_to_char_list/2-0 (det)
1112: 423 16 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1113: 424 17 CALL pred char:to_int/2-2 (semidet)
1114: 424 17 EXIT pred char:to_int/2-2 (semidet)
1115: 423 16 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1116: 425 17 CALL pred string:int_list_to_char_list/2-0 (det)
1117: 425 17 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1118: 426 18 CALL pred char:to_int/2-2 (semidet)
1119: 426 18 EXIT pred char:to_int/2-2 (semidet)
1120: 425 17 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1121: 427 18 CALL pred string:int_list_to_char_list/2-0 (det)
1122: 427 18 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
1123: 427 18 EXIT pred string:int_list_to_char_list/2-0 (det)
1124: 425 17 EXIT pred string:int_list_to_char_list/2-0 (det)
1125: 423 16 EXIT pred string:int_list_to_char_list/2-0 (det)
1126: 421 15 EXIT pred string:int_list_to_char_list/2-0 (det)
1127: 419 14 EXIT pred string:to_char_list/2-0 (det)
1128: 428 14 CALL pred list:member/2-1 (nondet)
1129: 428 14 DISJ pred list:member/2-1 (nondet) c2;d1;
1130: 428 14 EXIT pred list:member/2-1 (nondet)
1131: 429 14 CALL pred lexer:graphic_token_char/1-0 (semidet)
1132: 429 14 FAIL pred lexer:graphic_token_char/1-0 (semidet)
1133: 418 13 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
1134: 430 14 CALL pred string:first_char/3-3 (semidet)
1135: 430 14 EXIT pred string:first_char/3-3 (semidet)
1136: 431 14 CALL pred char:is_lower/1-0 (semidet)
1137: 432 15 CALL pred char:lower_upper/2-0 (semidet)
1138: 432 15 SWTC pred char:lower_upper/2-0 (semidet) s2;
1139: 432 15 EXIT pred char:lower_upper/2-0 (semidet)
1140: 431 14 EXIT pred char:is_lower/1-0 (semidet)
1141: 433 14 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1142: 434 15 CALL pred string:first_char/3-3 (semidet)
1143: 434 15 EXIT pred string:first_char/3-3 (semidet)
1144: 433 14 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1145: 435 15 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1146: 435 15 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s46;
1147: 435 15 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1148: 436 15 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1149: 437 16 CALL pred string:first_char/3-3 (semidet)
1150: 437 16 EXIT pred string:first_char/3-3 (semidet)
1151: 436 15 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1152: 438 16 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1153: 438 16 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s44;
1154: 438 16 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1155: 439 16 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1156: 440 17 CALL pred string:first_char/3-3 (semidet)
1157: 440 17 FAIL pred string:first_char/3-3 (semidet)
1158: 439 16 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
1159: 439 16 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1160: 436 15 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1161: 433 14 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1162: 418 13 THEN pred term_io:quote_atom/4-0 (det) t;
1163: 441 14 CALL pred io:write_string/3-0 (det)
big 1164: 441 14 EXIT pred io:write_string/3-0 (det)
1165: 418 13 EXIT pred term_io:quote_atom/4-0 (det)
1166: 414 12 THEN pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;t;
1167: 442 13 CALL pred io:write_char/3-0 (det)
( 1168: 442 13 EXIT pred io:write_char/3-0 (det)
1169: 443 13 CALL pred io:write_arg/3-0 (det)
1170: 444 14 CALL pred io:arg_priority/3-0 (det)
1171: 444 14 EXIT pred io:arg_priority/3-0 (det)
1172: 445 14 CALL pred io:write_univ/4-0 (det)
1173: 446 15 CALL pred std_util:univ_to_type/2-0 (semidet)
1174: 447 16 CALL pred std_util:type_to_univ/2-2 (semidet)
1175: 447 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
1176: 446 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
1177: 445 14 ELSE pred io:write_univ/4-0 (det) e;
1178: 448 15 CALL pred std_util:univ_to_type/2-0 (semidet)
1179: 449 16 CALL pred std_util:type_to_univ/2-2 (semidet)
1180: 449 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
1181: 448 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
1182: 445 14 ELSE pred io:write_univ/4-0 (det) e;e;
1183: 450 15 CALL pred std_util:univ_to_type/2-0 (semidet)
1184: 451 16 CALL pred std_util:type_to_univ/2-2 (semidet)
1185: 451 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
1186: 450 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
1187: 445 14 ELSE pred io:write_univ/4-0 (det) e;e;e;
1188: 452 15 CALL pred std_util:univ_to_type/2-0 (semidet)
1189: 453 16 CALL pred std_util:type_to_univ/2-2 (semidet)
1190: 453 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
1191: 452 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
1192: 445 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
1193: 454 15 CALL pred std_util:univ_to_type/2-0 (semidet)
1194: 455 16 CALL pred std_util:type_to_univ/2-2 (semidet)
1195: 455 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
1196: 454 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
1197: 445 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
1198: 456 15 CALL pred std_util:univ_to_type/2-0 (semidet)
1199: 457 16 CALL pred std_util:type_to_univ/2-2 (semidet)
1200: 457 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
1201: 456 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
1202: 445 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
1203: 458 15 CALL pred std_util:univ_to_type/2-0 (semidet)
1204: 459 16 CALL pred std_util:type_to_univ/2-2 (semidet)
1205: 459 16 FAIL pred std_util:type_to_univ/2-2 (semidet)
1206: 458 15 FAIL pred std_util:univ_to_type/2-0 (semidet)
1207: 445 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
1208: 460 15 CALL func std_util:univ_type/2-0 (det)
1209: 460 15 EXIT func std_util:univ_type/2-0 (det)
1210: 461 15 CALL pred std_util:type_ctor_and_args/3-0 (det)
1211: 461 15 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1212: 445 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
1213: 462 15 CALL func std_util:univ_type/2-0 (det)
1214: 462 15 EXIT func std_util:univ_type/2-0 (det)
1215: 463 15 CALL pred std_util:type_ctor_and_args/3-0 (det)
1216: 463 15 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1217: 445 14 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
1218: 464 15 CALL pred io:write_ordinary_term/4-0 (det)
1219: 465 16 CALL pred std_util:deconstruct/4-0 (det)
1220: 465 16 EXIT pred std_util:deconstruct/4-0 (det)
1221: 466 16 CALL pred io:get_op_table/3-0 (det)
1222: 467 17 CALL pred ops:init_op_table/1-0 (det)
1223: 467 17 EXIT pred ops:init_op_table/1-0 (det)
1224: 466 16 EXIT pred io:get_op_table/3-0 (det)
1225: 464 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
1226: 464 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
1227: 464 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
1228: 464 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
1229: 464 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
1230: 464 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
1231: 464 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
1232: 464 15 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
1233: 468 16 CALL pred term_io:quote_atom/4-0 (det)
1234: 468 16 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
1235: 468 16 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
1236: 469 17 CALL pred string:to_char_list/2-0 (det)
1237: 470 18 CALL pred string:to_int_list/2-1 (det)
1238: 470 18 EXIT pred string:to_int_list/2-1 (det)
1239: 471 18 CALL pred string:int_list_to_char_list/2-0 (det)
1240: 471 18 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1241: 472 19 CALL pred char:to_int/2-2 (semidet)
1242: 472 19 EXIT pred char:to_int/2-2 (semidet)
1243: 471 18 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1244: 473 19 CALL pred string:int_list_to_char_list/2-0 (det)
1245: 473 19 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1246: 474 20 CALL pred char:to_int/2-2 (semidet)
1247: 474 20 EXIT pred char:to_int/2-2 (semidet)
1248: 473 19 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1249: 475 20 CALL pred string:int_list_to_char_list/2-0 (det)
1250: 475 20 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1251: 476 21 CALL pred char:to_int/2-2 (semidet)
1252: 476 21 EXIT pred char:to_int/2-2 (semidet)
1253: 475 20 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1254: 477 21 CALL pred string:int_list_to_char_list/2-0 (det)
1255: 477 21 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
1256: 477 21 EXIT pred string:int_list_to_char_list/2-0 (det)
1257: 475 20 EXIT pred string:int_list_to_char_list/2-0 (det)
1258: 473 19 EXIT pred string:int_list_to_char_list/2-0 (det)
1259: 471 18 EXIT pred string:int_list_to_char_list/2-0 (det)
1260: 469 17 EXIT pred string:to_char_list/2-0 (det)
1261: 478 17 CALL pred list:member/2-1 (nondet)
1262: 478 17 DISJ pred list:member/2-1 (nondet) c2;d1;
1263: 478 17 EXIT pred list:member/2-1 (nondet)
1264: 479 17 CALL pred lexer:graphic_token_char/1-0 (semidet)
1265: 479 17 FAIL pred lexer:graphic_token_char/1-0 (semidet)
1266: 468 16 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
1267: 480 17 CALL pred string:first_char/3-3 (semidet)
1268: 480 17 EXIT pred string:first_char/3-3 (semidet)
1269: 481 17 CALL pred char:is_lower/1-0 (semidet)
1270: 482 18 CALL pred char:lower_upper/2-0 (semidet)
1271: 482 18 SWTC pred char:lower_upper/2-0 (semidet) s2;
1272: 482 18 EXIT pred char:lower_upper/2-0 (semidet)
1273: 481 17 EXIT pred char:is_lower/1-0 (semidet)
1274: 483 17 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1275: 484 18 CALL pred string:first_char/3-3 (semidet)
1276: 484 18 EXIT pred string:first_char/3-3 (semidet)
1277: 483 17 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1278: 485 18 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1279: 485 18 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s46;
1280: 485 18 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1281: 486 18 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1282: 487 19 CALL pred string:first_char/3-3 (semidet)
1283: 487 19 EXIT pred string:first_char/3-3 (semidet)
1284: 486 18 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1285: 488 19 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1286: 488 19 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s44;
1287: 488 19 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1288: 489 19 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1289: 490 20 CALL pred string:first_char/3-3 (semidet)
1290: 490 20 FAIL pred string:first_char/3-3 (semidet)
1291: 489 19 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
1292: 489 19 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1293: 486 18 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1294: 483 17 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1295: 468 16 THEN pred term_io:quote_atom/4-0 (det) t;
1296: 491 17 CALL pred io:write_string/3-0 (det)
big 1297: 491 17 EXIT pred io:write_string/3-0 (det)
1298: 468 16 EXIT pred term_io:quote_atom/4-0 (det)
1299: 464 15 THEN pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;t;
1300: 492 16 CALL pred io:write_char/3-0 (det)
( 1301: 492 16 EXIT pred io:write_char/3-0 (det)
1302: 493 16 CALL pred io:write_arg/3-0 (det)
1303: 494 17 CALL pred io:arg_priority/3-0 (det)
1304: 494 17 EXIT pred io:arg_priority/3-0 (det)
1305: 495 17 CALL pred io:write_univ/4-0 (det)
1306: 496 18 CALL pred std_util:univ_to_type/2-0 (semidet)
1307: 497 19 CALL pred std_util:type_to_univ/2-2 (semidet)
1308: 497 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
1309: 496 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
1310: 495 17 ELSE pred io:write_univ/4-0 (det) e;
1311: 498 18 CALL pred std_util:univ_to_type/2-0 (semidet)
1312: 499 19 CALL pred std_util:type_to_univ/2-2 (semidet)
1313: 499 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
1314: 498 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
1315: 495 17 ELSE pred io:write_univ/4-0 (det) e;e;
1316: 500 18 CALL pred std_util:univ_to_type/2-0 (semidet)
1317: 501 19 CALL pred std_util:type_to_univ/2-2 (semidet)
1318: 501 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
1319: 500 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
1320: 495 17 ELSE pred io:write_univ/4-0 (det) e;e;e;
1321: 502 18 CALL pred std_util:univ_to_type/2-0 (semidet)
1322: 503 19 CALL pred std_util:type_to_univ/2-2 (semidet)
1323: 503 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
1324: 502 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
1325: 495 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
1326: 504 18 CALL pred std_util:univ_to_type/2-0 (semidet)
1327: 505 19 CALL pred std_util:type_to_univ/2-2 (semidet)
1328: 505 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
1329: 504 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
1330: 495 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
1331: 506 18 CALL pred std_util:univ_to_type/2-0 (semidet)
1332: 507 19 CALL pred std_util:type_to_univ/2-2 (semidet)
1333: 507 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
1334: 506 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
1335: 495 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
1336: 508 18 CALL pred std_util:univ_to_type/2-0 (semidet)
1337: 509 19 CALL pred std_util:type_to_univ/2-2 (semidet)
1338: 509 19 FAIL pred std_util:type_to_univ/2-2 (semidet)
1339: 508 18 FAIL pred std_util:univ_to_type/2-0 (semidet)
1340: 495 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
1341: 510 18 CALL func std_util:univ_type/2-0 (det)
1342: 510 18 EXIT func std_util:univ_type/2-0 (det)
1343: 511 18 CALL pred std_util:type_ctor_and_args/3-0 (det)
1344: 511 18 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1345: 495 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
1346: 512 18 CALL func std_util:univ_type/2-0 (det)
1347: 512 18 EXIT func std_util:univ_type/2-0 (det)
1348: 513 18 CALL pred std_util:type_ctor_and_args/3-0 (det)
1349: 513 18 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1350: 495 17 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
1351: 514 18 CALL pred io:write_ordinary_term/4-0 (det)
1352: 515 19 CALL pred std_util:deconstruct/4-0 (det)
1353: 515 19 EXIT pred std_util:deconstruct/4-0 (det)
1354: 516 19 CALL pred io:get_op_table/3-0 (det)
1355: 517 20 CALL pred ops:init_op_table/1-0 (det)
1356: 517 20 EXIT pred ops:init_op_table/1-0 (det)
1357: 516 19 EXIT pred io:get_op_table/3-0 (det)
1358: 514 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
1359: 514 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
1360: 514 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
1361: 514 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
1362: 514 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
1363: 514 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
1364: 514 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
1365: 518 19 CALL pred ops:lookup_op/2-0 (semidet)
1366: 519 20 CALL pred ops:op_table/4-1 (nondet)
1367: 519 20 FAIL pred ops:op_table/4-1 (nondet)
1368: 518 19 FAIL pred ops:lookup_op/2-0 (semidet)
1369: 514 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
1370: 520 19 CALL pred term_io:quote_atom/4-0 (det)
1371: 520 19 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
1372: 520 19 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
1373: 521 20 CALL pred string:to_char_list/2-0 (det)
1374: 522 21 CALL pred string:to_int_list/2-1 (det)
1375: 522 21 EXIT pred string:to_int_list/2-1 (det)
1376: 523 21 CALL pred string:int_list_to_char_list/2-0 (det)
1377: 523 21 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1378: 524 22 CALL pred char:to_int/2-2 (semidet)
1379: 524 22 EXIT pred char:to_int/2-2 (semidet)
1380: 523 21 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1381: 525 22 CALL pred string:int_list_to_char_list/2-0 (det)
1382: 525 22 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1383: 526 23 CALL pred char:to_int/2-2 (semidet)
1384: 526 23 EXIT pred char:to_int/2-2 (semidet)
1385: 525 22 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1386: 527 23 CALL pred string:int_list_to_char_list/2-0 (det)
1387: 527 23 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1388: 528 24 CALL pred char:to_int/2-2 (semidet)
1389: 528 24 EXIT pred char:to_int/2-2 (semidet)
1390: 527 23 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1391: 529 24 CALL pred string:int_list_to_char_list/2-0 (det)
1392: 529 24 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1393: 530 25 CALL pred char:to_int/2-2 (semidet)
1394: 530 25 EXIT pred char:to_int/2-2 (semidet)
1395: 529 24 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1396: 531 25 CALL pred string:int_list_to_char_list/2-0 (det)
1397: 531 25 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1398: 532 26 CALL pred char:to_int/2-2 (semidet)
1399: 532 26 EXIT pred char:to_int/2-2 (semidet)
1400: 531 25 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1401: 533 26 CALL pred string:int_list_to_char_list/2-0 (det)
1402: 533 26 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
1403: 533 26 EXIT pred string:int_list_to_char_list/2-0 (det)
1404: 531 25 EXIT pred string:int_list_to_char_list/2-0 (det)
1405: 529 24 EXIT pred string:int_list_to_char_list/2-0 (det)
1406: 527 23 EXIT pred string:int_list_to_char_list/2-0 (det)
1407: 525 22 EXIT pred string:int_list_to_char_list/2-0 (det)
1408: 523 21 EXIT pred string:int_list_to_char_list/2-0 (det)
1409: 521 20 EXIT pred string:to_char_list/2-0 (det)
1410: 534 20 CALL pred list:member/2-1 (nondet)
1411: 534 20 DISJ pred list:member/2-1 (nondet) c2;d1;
1412: 534 20 EXIT pred list:member/2-1 (nondet)
1413: 535 20 CALL pred lexer:graphic_token_char/1-0 (semidet)
1414: 535 20 FAIL pred lexer:graphic_token_char/1-0 (semidet)
1415: 520 19 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
1416: 536 20 CALL pred string:first_char/3-3 (semidet)
1417: 536 20 EXIT pred string:first_char/3-3 (semidet)
1418: 537 20 CALL pred char:is_lower/1-0 (semidet)
1419: 538 21 CALL pred char:lower_upper/2-0 (semidet)
1420: 538 21 SWTC pred char:lower_upper/2-0 (semidet) s19;
1421: 538 21 EXIT pred char:lower_upper/2-0 (semidet)
1422: 537 20 EXIT pred char:is_lower/1-0 (semidet)
1423: 539 20 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1424: 540 21 CALL pred string:first_char/3-3 (semidet)
1425: 540 21 EXIT pred string:first_char/3-3 (semidet)
1426: 539 20 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1427: 541 21 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1428: 541 21 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s50;
1429: 541 21 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1430: 542 21 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1431: 543 22 CALL pred string:first_char/3-3 (semidet)
1432: 543 22 EXIT pred string:first_char/3-3 (semidet)
1433: 542 21 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1434: 544 22 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1435: 544 22 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s38;
1436: 544 22 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1437: 545 22 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1438: 546 23 CALL pred string:first_char/3-3 (semidet)
1439: 546 23 EXIT pred string:first_char/3-3 (semidet)
1440: 545 22 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1441: 547 23 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1442: 547 23 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
1443: 547 23 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1444: 548 23 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1445: 549 24 CALL pred string:first_char/3-3 (semidet)
1446: 549 24 EXIT pred string:first_char/3-3 (semidet)
1447: 548 23 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1448: 550 24 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1449: 550 24 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
1450: 550 24 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1451: 551 24 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1452: 552 25 CALL pred string:first_char/3-3 (semidet)
1453: 552 25 FAIL pred string:first_char/3-3 (semidet)
1454: 551 24 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
1455: 551 24 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1456: 548 23 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1457: 545 22 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1458: 542 21 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1459: 539 20 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1460: 520 19 THEN pred term_io:quote_atom/4-0 (det) t;
1461: 553 20 CALL pred io:write_string/3-0 (det)
small 1462: 553 20 EXIT pred io:write_string/3-0 (det)
1463: 520 19 EXIT pred term_io:quote_atom/4-0 (det)
1464: 514 18 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;e;
1465: 514 18 EXIT pred io:write_ordinary_term/4-0 (det)
1466: 495 17 EXIT pred io:write_univ/4-0 (det)
1467: 493 16 EXIT pred io:write_arg/3-0 (det)
1468: 554 16 CALL pred io:write_term_args/3-0 (det)
1469: 554 16 SWTC pred io:write_term_args/3-0 (det) s1;
1470: 555 17 CALL pred io:write_string/3-0 (det)
, 1471: 555 17 EXIT pred io:write_string/3-0 (det)
1472: 556 17 CALL pred io:write_arg/3-0 (det)
1473: 557 18 CALL pred io:arg_priority/3-0 (det)
1474: 557 18 EXIT pred io:arg_priority/3-0 (det)
1475: 558 18 CALL pred io:write_univ/4-0 (det)
1476: 559 19 CALL pred std_util:univ_to_type/2-0 (semidet)
1477: 560 20 CALL pred std_util:type_to_univ/2-2 (semidet)
1478: 560 20 FAIL pred std_util:type_to_univ/2-2 (semidet)
1479: 559 19 FAIL pred std_util:univ_to_type/2-0 (semidet)
1480: 558 18 ELSE pred io:write_univ/4-0 (det) e;
1481: 561 19 CALL pred std_util:univ_to_type/2-0 (semidet)
1482: 562 20 CALL pred std_util:type_to_univ/2-2 (semidet)
1483: 562 20 FAIL pred std_util:type_to_univ/2-2 (semidet)
1484: 561 19 FAIL pred std_util:univ_to_type/2-0 (semidet)
1485: 558 18 ELSE pred io:write_univ/4-0 (det) e;e;
1486: 563 19 CALL pred std_util:univ_to_type/2-0 (semidet)
1487: 564 20 CALL pred std_util:type_to_univ/2-2 (semidet)
1488: 564 20 EXIT pred std_util:type_to_univ/2-2 (semidet)
1489: 563 19 EXIT pred std_util:univ_to_type/2-0 (semidet)
1490: 558 18 THEN pred io:write_univ/4-0 (det) e;e;t;
1491: 565 19 CALL pred io:write_int/3-0 (det)
4 1492: 565 19 EXIT pred io:write_int/3-0 (det)
1493: 558 18 EXIT pred io:write_univ/4-0 (det)
1494: 556 17 EXIT pred io:write_arg/3-0 (det)
1495: 566 17 CALL pred io:write_term_args/3-0 (det)
1496: 566 17 SWTC pred io:write_term_args/3-0 (det) s1;
1497: 567 18 CALL pred io:write_string/3-0 (det)
, 1498: 567 18 EXIT pred io:write_string/3-0 (det)
1499: 568 18 CALL pred io:write_arg/3-0 (det)
1500: 569 19 CALL pred io:arg_priority/3-0 (det)
1501: 569 19 EXIT pred io:arg_priority/3-0 (det)
1502: 570 19 CALL pred io:write_univ/4-0 (det)
1503: 571 20 CALL pred std_util:univ_to_type/2-0 (semidet)
1504: 572 21 CALL pred std_util:type_to_univ/2-2 (semidet)
1505: 572 21 FAIL pred std_util:type_to_univ/2-2 (semidet)
1506: 571 20 FAIL pred std_util:univ_to_type/2-0 (semidet)
1507: 570 19 ELSE pred io:write_univ/4-0 (det) e;
1508: 573 20 CALL pred std_util:univ_to_type/2-0 (semidet)
1509: 574 21 CALL pred std_util:type_to_univ/2-2 (semidet)
1510: 574 21 FAIL pred std_util:type_to_univ/2-2 (semidet)
1511: 573 20 FAIL pred std_util:univ_to_type/2-0 (semidet)
1512: 570 19 ELSE pred io:write_univ/4-0 (det) e;e;
1513: 575 20 CALL pred std_util:univ_to_type/2-0 (semidet)
1514: 576 21 CALL pred std_util:type_to_univ/2-2 (semidet)
1515: 576 21 FAIL pred std_util:type_to_univ/2-2 (semidet)
1516: 575 20 FAIL pred std_util:univ_to_type/2-0 (semidet)
1517: 570 19 ELSE pred io:write_univ/4-0 (det) e;e;e;
1518: 577 20 CALL pred std_util:univ_to_type/2-0 (semidet)
1519: 578 21 CALL pred std_util:type_to_univ/2-2 (semidet)
1520: 578 21 FAIL pred std_util:type_to_univ/2-2 (semidet)
1521: 577 20 FAIL pred std_util:univ_to_type/2-0 (semidet)
1522: 570 19 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
1523: 579 20 CALL pred std_util:univ_to_type/2-0 (semidet)
1524: 580 21 CALL pred std_util:type_to_univ/2-2 (semidet)
1525: 580 21 FAIL pred std_util:type_to_univ/2-2 (semidet)
1526: 579 20 FAIL pred std_util:univ_to_type/2-0 (semidet)
1527: 570 19 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
1528: 581 20 CALL pred std_util:univ_to_type/2-0 (semidet)
1529: 582 21 CALL pred std_util:type_to_univ/2-2 (semidet)
1530: 582 21 FAIL pred std_util:type_to_univ/2-2 (semidet)
1531: 581 20 FAIL pred std_util:univ_to_type/2-0 (semidet)
1532: 570 19 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
1533: 583 20 CALL pred std_util:univ_to_type/2-0 (semidet)
1534: 584 21 CALL pred std_util:type_to_univ/2-2 (semidet)
1535: 584 21 FAIL pred std_util:type_to_univ/2-2 (semidet)
1536: 583 20 FAIL pred std_util:univ_to_type/2-0 (semidet)
1537: 570 19 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
1538: 585 20 CALL func std_util:univ_type/2-0 (det)
1539: 585 20 EXIT func std_util:univ_type/2-0 (det)
1540: 586 20 CALL pred std_util:type_ctor_and_args/3-0 (det)
1541: 586 20 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1542: 570 19 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
1543: 587 20 CALL func std_util:univ_type/2-0 (det)
1544: 587 20 EXIT func std_util:univ_type/2-0 (det)
1545: 588 20 CALL pred std_util:type_ctor_and_args/3-0 (det)
1546: 588 20 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1547: 570 19 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
1548: 589 20 CALL pred io:write_ordinary_term/4-0 (det)
1549: 590 21 CALL pred std_util:deconstruct/4-0 (det)
1550: 590 21 EXIT pred std_util:deconstruct/4-0 (det)
1551: 591 21 CALL pred io:get_op_table/3-0 (det)
1552: 592 22 CALL pred ops:init_op_table/1-0 (det)
1553: 592 22 EXIT pred ops:init_op_table/1-0 (det)
1554: 591 21 EXIT pred io:get_op_table/3-0 (det)
1555: 589 20 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
1556: 589 20 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
1557: 589 20 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
1558: 589 20 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
1559: 589 20 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
1560: 589 20 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
1561: 589 20 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
1562: 589 20 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
1563: 593 21 CALL pred term_io:quote_atom/4-0 (det)
1564: 593 21 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
1565: 593 21 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
1566: 594 22 CALL pred string:to_char_list/2-0 (det)
1567: 595 23 CALL pred string:to_int_list/2-1 (det)
1568: 595 23 EXIT pred string:to_int_list/2-1 (det)
1569: 596 23 CALL pred string:int_list_to_char_list/2-0 (det)
1570: 596 23 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1571: 597 24 CALL pred char:to_int/2-2 (semidet)
1572: 597 24 EXIT pred char:to_int/2-2 (semidet)
1573: 596 23 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1574: 598 24 CALL pred string:int_list_to_char_list/2-0 (det)
1575: 598 24 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1576: 599 25 CALL pred char:to_int/2-2 (semidet)
1577: 599 25 EXIT pred char:to_int/2-2 (semidet)
1578: 598 24 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1579: 600 25 CALL pred string:int_list_to_char_list/2-0 (det)
1580: 600 25 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1581: 601 26 CALL pred char:to_int/2-2 (semidet)
1582: 601 26 EXIT pred char:to_int/2-2 (semidet)
1583: 600 25 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1584: 602 26 CALL pred string:int_list_to_char_list/2-0 (det)
1585: 602 26 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
1586: 602 26 EXIT pred string:int_list_to_char_list/2-0 (det)
1587: 600 25 EXIT pred string:int_list_to_char_list/2-0 (det)
1588: 598 24 EXIT pred string:int_list_to_char_list/2-0 (det)
1589: 596 23 EXIT pred string:int_list_to_char_list/2-0 (det)
1590: 594 22 EXIT pred string:to_char_list/2-0 (det)
1591: 603 22 CALL pred list:member/2-1 (nondet)
1592: 603 22 DISJ pred list:member/2-1 (nondet) c2;d1;
1593: 603 22 EXIT pred list:member/2-1 (nondet)
1594: 604 22 CALL pred lexer:graphic_token_char/1-0 (semidet)
1595: 604 22 FAIL pred lexer:graphic_token_char/1-0 (semidet)
1596: 593 21 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
1597: 605 22 CALL pred string:first_char/3-3 (semidet)
1598: 605 22 EXIT pred string:first_char/3-3 (semidet)
1599: 606 22 CALL pred char:is_lower/1-0 (semidet)
1600: 607 23 CALL pred char:lower_upper/2-0 (semidet)
1601: 607 23 SWTC pred char:lower_upper/2-0 (semidet) s2;
1602: 607 23 EXIT pred char:lower_upper/2-0 (semidet)
1603: 606 22 EXIT pred char:is_lower/1-0 (semidet)
1604: 608 22 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1605: 609 23 CALL pred string:first_char/3-3 (semidet)
1606: 609 23 EXIT pred string:first_char/3-3 (semidet)
1607: 608 22 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1608: 610 23 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1609: 610 23 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s46;
1610: 610 23 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1611: 611 23 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1612: 612 24 CALL pred string:first_char/3-3 (semidet)
1613: 612 24 EXIT pred string:first_char/3-3 (semidet)
1614: 611 23 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1615: 613 24 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1616: 613 24 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s44;
1617: 613 24 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1618: 614 24 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1619: 615 25 CALL pred string:first_char/3-3 (semidet)
1620: 615 25 FAIL pred string:first_char/3-3 (semidet)
1621: 614 24 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
1622: 614 24 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1623: 611 23 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1624: 608 22 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1625: 593 21 THEN pred term_io:quote_atom/4-0 (det) t;
1626: 616 22 CALL pred io:write_string/3-0 (det)
big 1627: 616 22 EXIT pred io:write_string/3-0 (det)
1628: 593 21 EXIT pred term_io:quote_atom/4-0 (det)
1629: 589 20 THEN pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;t;
1630: 617 21 CALL pred io:write_char/3-0 (det)
( 1631: 617 21 EXIT pred io:write_char/3-0 (det)
1632: 618 21 CALL pred io:write_arg/3-0 (det)
1633: 619 22 CALL pred io:arg_priority/3-0 (det)
1634: 619 22 EXIT pred io:arg_priority/3-0 (det)
1635: 620 22 CALL pred io:write_univ/4-0 (det)
1636: 621 23 CALL pred std_util:univ_to_type/2-0 (semidet)
1637: 622 24 CALL pred std_util:type_to_univ/2-2 (semidet)
1638: 622 24 FAIL pred std_util:type_to_univ/2-2 (semidet)
1639: 621 23 FAIL pred std_util:univ_to_type/2-0 (semidet)
1640: 620 22 ELSE pred io:write_univ/4-0 (det) e;
1641: 623 23 CALL pred std_util:univ_to_type/2-0 (semidet)
1642: 624 24 CALL pred std_util:type_to_univ/2-2 (semidet)
1643: 624 24 FAIL pred std_util:type_to_univ/2-2 (semidet)
1644: 623 23 FAIL pred std_util:univ_to_type/2-0 (semidet)
1645: 620 22 ELSE pred io:write_univ/4-0 (det) e;e;
1646: 625 23 CALL pred std_util:univ_to_type/2-0 (semidet)
1647: 626 24 CALL pred std_util:type_to_univ/2-2 (semidet)
1648: 626 24 FAIL pred std_util:type_to_univ/2-2 (semidet)
1649: 625 23 FAIL pred std_util:univ_to_type/2-0 (semidet)
1650: 620 22 ELSE pred io:write_univ/4-0 (det) e;e;e;
1651: 627 23 CALL pred std_util:univ_to_type/2-0 (semidet)
1652: 628 24 CALL pred std_util:type_to_univ/2-2 (semidet)
1653: 628 24 FAIL pred std_util:type_to_univ/2-2 (semidet)
1654: 627 23 FAIL pred std_util:univ_to_type/2-0 (semidet)
1655: 620 22 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
1656: 629 23 CALL pred std_util:univ_to_type/2-0 (semidet)
1657: 630 24 CALL pred std_util:type_to_univ/2-2 (semidet)
1658: 630 24 FAIL pred std_util:type_to_univ/2-2 (semidet)
1659: 629 23 FAIL pred std_util:univ_to_type/2-0 (semidet)
1660: 620 22 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
1661: 631 23 CALL pred std_util:univ_to_type/2-0 (semidet)
1662: 632 24 CALL pred std_util:type_to_univ/2-2 (semidet)
1663: 632 24 FAIL pred std_util:type_to_univ/2-2 (semidet)
1664: 631 23 FAIL pred std_util:univ_to_type/2-0 (semidet)
1665: 620 22 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
1666: 633 23 CALL pred std_util:univ_to_type/2-0 (semidet)
1667: 634 24 CALL pred std_util:type_to_univ/2-2 (semidet)
1668: 634 24 FAIL pred std_util:type_to_univ/2-2 (semidet)
1669: 633 23 FAIL pred std_util:univ_to_type/2-0 (semidet)
1670: 620 22 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
1671: 635 23 CALL func std_util:univ_type/2-0 (det)
1672: 635 23 EXIT func std_util:univ_type/2-0 (det)
1673: 636 23 CALL pred std_util:type_ctor_and_args/3-0 (det)
1674: 636 23 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1675: 620 22 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
1676: 637 23 CALL func std_util:univ_type/2-0 (det)
1677: 637 23 EXIT func std_util:univ_type/2-0 (det)
1678: 638 23 CALL pred std_util:type_ctor_and_args/3-0 (det)
1679: 638 23 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1680: 620 22 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
1681: 639 23 CALL pred io:write_ordinary_term/4-0 (det)
1682: 640 24 CALL pred std_util:deconstruct/4-0 (det)
1683: 640 24 EXIT pred std_util:deconstruct/4-0 (det)
1684: 641 24 CALL pred io:get_op_table/3-0 (det)
1685: 642 25 CALL pred ops:init_op_table/1-0 (det)
1686: 642 25 EXIT pred ops:init_op_table/1-0 (det)
1687: 641 24 EXIT pred io:get_op_table/3-0 (det)
1688: 639 23 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
1689: 639 23 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
1690: 639 23 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
1691: 639 23 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
1692: 639 23 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
1693: 639 23 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
1694: 639 23 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
1695: 643 24 CALL pred ops:lookup_op/2-0 (semidet)
1696: 644 25 CALL pred ops:op_table/4-1 (nondet)
1697: 644 25 FAIL pred ops:op_table/4-1 (nondet)
1698: 643 24 FAIL pred ops:lookup_op/2-0 (semidet)
1699: 639 23 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
1700: 645 24 CALL pred term_io:quote_atom/4-0 (det)
1701: 645 24 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
1702: 645 24 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
1703: 646 25 CALL pred string:to_char_list/2-0 (det)
1704: 647 26 CALL pred string:to_int_list/2-1 (det)
1705: 647 26 EXIT pred string:to_int_list/2-1 (det)
1706: 648 26 CALL pred string:int_list_to_char_list/2-0 (det)
1707: 648 26 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1708: 649 27 CALL pred char:to_int/2-2 (semidet)
1709: 649 27 EXIT pred char:to_int/2-2 (semidet)
1710: 648 26 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1711: 650 27 CALL pred string:int_list_to_char_list/2-0 (det)
1712: 650 27 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1713: 651 28 CALL pred char:to_int/2-2 (semidet)
1714: 651 28 EXIT pred char:to_int/2-2 (semidet)
1715: 650 27 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1716: 652 28 CALL pred string:int_list_to_char_list/2-0 (det)
1717: 652 28 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1718: 653 29 CALL pred char:to_int/2-2 (semidet)
1719: 653 29 EXIT pred char:to_int/2-2 (semidet)
1720: 652 28 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1721: 654 29 CALL pred string:int_list_to_char_list/2-0 (det)
1722: 654 29 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1723: 655 30 CALL pred char:to_int/2-2 (semidet)
1724: 655 30 EXIT pred char:to_int/2-2 (semidet)
1725: 654 29 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1726: 656 30 CALL pred string:int_list_to_char_list/2-0 (det)
1727: 656 30 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1728: 657 31 CALL pred char:to_int/2-2 (semidet)
1729: 657 31 EXIT pred char:to_int/2-2 (semidet)
1730: 656 30 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1731: 658 31 CALL pred string:int_list_to_char_list/2-0 (det)
1732: 658 31 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
1733: 658 31 EXIT pred string:int_list_to_char_list/2-0 (det)
1734: 656 30 EXIT pred string:int_list_to_char_list/2-0 (det)
1735: 654 29 EXIT pred string:int_list_to_char_list/2-0 (det)
1736: 652 28 EXIT pred string:int_list_to_char_list/2-0 (det)
1737: 650 27 EXIT pred string:int_list_to_char_list/2-0 (det)
1738: 648 26 EXIT pred string:int_list_to_char_list/2-0 (det)
1739: 646 25 EXIT pred string:to_char_list/2-0 (det)
1740: 659 25 CALL pred list:member/2-1 (nondet)
1741: 659 25 DISJ pred list:member/2-1 (nondet) c2;d1;
1742: 659 25 EXIT pred list:member/2-1 (nondet)
1743: 660 25 CALL pred lexer:graphic_token_char/1-0 (semidet)
1744: 660 25 FAIL pred lexer:graphic_token_char/1-0 (semidet)
1745: 645 24 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
1746: 661 25 CALL pred string:first_char/3-3 (semidet)
1747: 661 25 EXIT pred string:first_char/3-3 (semidet)
1748: 662 25 CALL pred char:is_lower/1-0 (semidet)
1749: 663 26 CALL pred char:lower_upper/2-0 (semidet)
1750: 663 26 SWTC pred char:lower_upper/2-0 (semidet) s19;
1751: 663 26 EXIT pred char:lower_upper/2-0 (semidet)
1752: 662 25 EXIT pred char:is_lower/1-0 (semidet)
1753: 664 25 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1754: 665 26 CALL pred string:first_char/3-3 (semidet)
1755: 665 26 EXIT pred string:first_char/3-3 (semidet)
1756: 664 25 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1757: 666 26 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1758: 666 26 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s50;
1759: 666 26 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1760: 667 26 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1761: 668 27 CALL pred string:first_char/3-3 (semidet)
1762: 668 27 EXIT pred string:first_char/3-3 (semidet)
1763: 667 26 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1764: 669 27 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1765: 669 27 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s38;
1766: 669 27 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1767: 670 27 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1768: 671 28 CALL pred string:first_char/3-3 (semidet)
1769: 671 28 EXIT pred string:first_char/3-3 (semidet)
1770: 670 27 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1771: 672 28 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1772: 672 28 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
1773: 672 28 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1774: 673 28 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1775: 674 29 CALL pred string:first_char/3-3 (semidet)
1776: 674 29 EXIT pred string:first_char/3-3 (semidet)
1777: 673 28 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1778: 675 29 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1779: 675 29 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
1780: 675 29 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1781: 676 29 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1782: 677 30 CALL pred string:first_char/3-3 (semidet)
1783: 677 30 FAIL pred string:first_char/3-3 (semidet)
1784: 676 29 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
1785: 676 29 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1786: 673 28 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1787: 670 27 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1788: 667 26 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1789: 664 25 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1790: 645 24 THEN pred term_io:quote_atom/4-0 (det) t;
1791: 678 25 CALL pred io:write_string/3-0 (det)
small 1792: 678 25 EXIT pred io:write_string/3-0 (det)
1793: 645 24 EXIT pred term_io:quote_atom/4-0 (det)
1794: 639 23 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;e;
1795: 639 23 EXIT pred io:write_ordinary_term/4-0 (det)
1796: 620 22 EXIT pred io:write_univ/4-0 (det)
1797: 618 21 EXIT pred io:write_arg/3-0 (det)
1798: 679 21 CALL pred io:write_term_args/3-0 (det)
1799: 679 21 SWTC pred io:write_term_args/3-0 (det) s1;
1800: 680 22 CALL pred io:write_string/3-0 (det)
, 1801: 680 22 EXIT pred io:write_string/3-0 (det)
1802: 681 22 CALL pred io:write_arg/3-0 (det)
1803: 682 23 CALL pred io:arg_priority/3-0 (det)
1804: 682 23 EXIT pred io:arg_priority/3-0 (det)
1805: 683 23 CALL pred io:write_univ/4-0 (det)
1806: 684 24 CALL pred std_util:univ_to_type/2-0 (semidet)
1807: 685 25 CALL pred std_util:type_to_univ/2-2 (semidet)
1808: 685 25 FAIL pred std_util:type_to_univ/2-2 (semidet)
1809: 684 24 FAIL pred std_util:univ_to_type/2-0 (semidet)
1810: 683 23 ELSE pred io:write_univ/4-0 (det) e;
1811: 686 24 CALL pred std_util:univ_to_type/2-0 (semidet)
1812: 687 25 CALL pred std_util:type_to_univ/2-2 (semidet)
1813: 687 25 FAIL pred std_util:type_to_univ/2-2 (semidet)
1814: 686 24 FAIL pred std_util:univ_to_type/2-0 (semidet)
1815: 683 23 ELSE pred io:write_univ/4-0 (det) e;e;
1816: 688 24 CALL pred std_util:univ_to_type/2-0 (semidet)
1817: 689 25 CALL pred std_util:type_to_univ/2-2 (semidet)
1818: 689 25 EXIT pred std_util:type_to_univ/2-2 (semidet)
1819: 688 24 EXIT pred std_util:univ_to_type/2-0 (semidet)
1820: 683 23 THEN pred io:write_univ/4-0 (det) e;e;t;
1821: 690 24 CALL pred io:write_int/3-0 (det)
5 1822: 690 24 EXIT pred io:write_int/3-0 (det)
1823: 683 23 EXIT pred io:write_univ/4-0 (det)
1824: 681 22 EXIT pred io:write_arg/3-0 (det)
1825: 691 22 CALL pred io:write_term_args/3-0 (det)
1826: 691 22 SWTC pred io:write_term_args/3-0 (det) s1;
1827: 692 23 CALL pred io:write_string/3-0 (det)
, 1828: 692 23 EXIT pred io:write_string/3-0 (det)
1829: 693 23 CALL pred io:write_arg/3-0 (det)
1830: 694 24 CALL pred io:arg_priority/3-0 (det)
1831: 694 24 EXIT pred io:arg_priority/3-0 (det)
1832: 695 24 CALL pred io:write_univ/4-0 (det)
1833: 696 25 CALL pred std_util:univ_to_type/2-0 (semidet)
1834: 697 26 CALL pred std_util:type_to_univ/2-2 (semidet)
1835: 697 26 FAIL pred std_util:type_to_univ/2-2 (semidet)
1836: 696 25 FAIL pred std_util:univ_to_type/2-0 (semidet)
1837: 695 24 ELSE pred io:write_univ/4-0 (det) e;
1838: 698 25 CALL pred std_util:univ_to_type/2-0 (semidet)
1839: 699 26 CALL pred std_util:type_to_univ/2-2 (semidet)
1840: 699 26 FAIL pred std_util:type_to_univ/2-2 (semidet)
1841: 698 25 FAIL pred std_util:univ_to_type/2-0 (semidet)
1842: 695 24 ELSE pred io:write_univ/4-0 (det) e;e;
1843: 700 25 CALL pred std_util:univ_to_type/2-0 (semidet)
1844: 701 26 CALL pred std_util:type_to_univ/2-2 (semidet)
1845: 701 26 FAIL pred std_util:type_to_univ/2-2 (semidet)
1846: 700 25 FAIL pred std_util:univ_to_type/2-0 (semidet)
1847: 695 24 ELSE pred io:write_univ/4-0 (det) e;e;e;
1848: 702 25 CALL pred std_util:univ_to_type/2-0 (semidet)
1849: 703 26 CALL pred std_util:type_to_univ/2-2 (semidet)
1850: 703 26 FAIL pred std_util:type_to_univ/2-2 (semidet)
1851: 702 25 FAIL pred std_util:univ_to_type/2-0 (semidet)
1852: 695 24 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
1853: 704 25 CALL pred std_util:univ_to_type/2-0 (semidet)
1854: 705 26 CALL pred std_util:type_to_univ/2-2 (semidet)
1855: 705 26 FAIL pred std_util:type_to_univ/2-2 (semidet)
1856: 704 25 FAIL pred std_util:univ_to_type/2-0 (semidet)
1857: 695 24 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
1858: 706 25 CALL pred std_util:univ_to_type/2-0 (semidet)
1859: 707 26 CALL pred std_util:type_to_univ/2-2 (semidet)
1860: 707 26 FAIL pred std_util:type_to_univ/2-2 (semidet)
1861: 706 25 FAIL pred std_util:univ_to_type/2-0 (semidet)
1862: 695 24 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
1863: 708 25 CALL pred std_util:univ_to_type/2-0 (semidet)
1864: 709 26 CALL pred std_util:type_to_univ/2-2 (semidet)
1865: 709 26 FAIL pred std_util:type_to_univ/2-2 (semidet)
1866: 708 25 FAIL pred std_util:univ_to_type/2-0 (semidet)
1867: 695 24 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
1868: 710 25 CALL func std_util:univ_type/2-0 (det)
1869: 710 25 EXIT func std_util:univ_type/2-0 (det)
1870: 711 25 CALL pred std_util:type_ctor_and_args/3-0 (det)
1871: 711 25 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1872: 695 24 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
1873: 712 25 CALL func std_util:univ_type/2-0 (det)
1874: 712 25 EXIT func std_util:univ_type/2-0 (det)
1875: 713 25 CALL pred std_util:type_ctor_and_args/3-0 (det)
1876: 713 25 EXIT pred std_util:type_ctor_and_args/3-0 (det)
1877: 695 24 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
1878: 714 25 CALL pred io:write_ordinary_term/4-0 (det)
1879: 715 26 CALL pred std_util:deconstruct/4-0 (det)
1880: 715 26 EXIT pred std_util:deconstruct/4-0 (det)
1881: 716 26 CALL pred io:get_op_table/3-0 (det)
1882: 717 27 CALL pred ops:init_op_table/1-0 (det)
1883: 717 27 EXIT pred ops:init_op_table/1-0 (det)
1884: 716 26 EXIT pred io:get_op_table/3-0 (det)
1885: 714 25 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
1886: 714 25 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
1887: 714 25 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
1888: 714 25 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
1889: 714 25 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
1890: 714 25 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
1891: 714 25 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
1892: 718 26 CALL pred ops:lookup_op/2-0 (semidet)
1893: 719 27 CALL pred ops:op_table/4-1 (nondet)
1894: 719 27 FAIL pred ops:op_table/4-1 (nondet)
1895: 718 26 FAIL pred ops:lookup_op/2-0 (semidet)
1896: 714 25 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
1897: 720 26 CALL pred term_io:quote_atom/4-0 (det)
1898: 720 26 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
1899: 720 26 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
1900: 721 27 CALL pred string:to_char_list/2-0 (det)
1901: 722 28 CALL pred string:to_int_list/2-1 (det)
1902: 722 28 EXIT pred string:to_int_list/2-1 (det)
1903: 723 28 CALL pred string:int_list_to_char_list/2-0 (det)
1904: 723 28 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1905: 724 29 CALL pred char:to_int/2-2 (semidet)
1906: 724 29 EXIT pred char:to_int/2-2 (semidet)
1907: 723 28 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1908: 725 29 CALL pred string:int_list_to_char_list/2-0 (det)
1909: 725 29 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1910: 726 30 CALL pred char:to_int/2-2 (semidet)
1911: 726 30 EXIT pred char:to_int/2-2 (semidet)
1912: 725 29 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1913: 727 30 CALL pred string:int_list_to_char_list/2-0 (det)
1914: 727 30 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1915: 728 31 CALL pred char:to_int/2-2 (semidet)
1916: 728 31 EXIT pred char:to_int/2-2 (semidet)
1917: 727 30 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1918: 729 31 CALL pred string:int_list_to_char_list/2-0 (det)
1919: 729 31 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1920: 730 32 CALL pred char:to_int/2-2 (semidet)
1921: 730 32 EXIT pred char:to_int/2-2 (semidet)
1922: 729 31 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1923: 731 32 CALL pred string:int_list_to_char_list/2-0 (det)
1924: 731 32 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
1925: 732 33 CALL pred char:to_int/2-2 (semidet)
1926: 732 33 EXIT pred char:to_int/2-2 (semidet)
1927: 731 32 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
1928: 733 33 CALL pred string:int_list_to_char_list/2-0 (det)
1929: 733 33 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
1930: 733 33 EXIT pred string:int_list_to_char_list/2-0 (det)
1931: 731 32 EXIT pred string:int_list_to_char_list/2-0 (det)
1932: 729 31 EXIT pred string:int_list_to_char_list/2-0 (det)
1933: 727 30 EXIT pred string:int_list_to_char_list/2-0 (det)
1934: 725 29 EXIT pred string:int_list_to_char_list/2-0 (det)
1935: 723 28 EXIT pred string:int_list_to_char_list/2-0 (det)
1936: 721 27 EXIT pred string:to_char_list/2-0 (det)
1937: 734 27 CALL pred list:member/2-1 (nondet)
1938: 734 27 DISJ pred list:member/2-1 (nondet) c2;d1;
1939: 734 27 EXIT pred list:member/2-1 (nondet)
1940: 735 27 CALL pred lexer:graphic_token_char/1-0 (semidet)
1941: 735 27 FAIL pred lexer:graphic_token_char/1-0 (semidet)
1942: 720 26 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
1943: 736 27 CALL pred string:first_char/3-3 (semidet)
1944: 736 27 EXIT pred string:first_char/3-3 (semidet)
1945: 737 27 CALL pred char:is_lower/1-0 (semidet)
1946: 738 28 CALL pred char:lower_upper/2-0 (semidet)
1947: 738 28 SWTC pred char:lower_upper/2-0 (semidet) s19;
1948: 738 28 EXIT pred char:lower_upper/2-0 (semidet)
1949: 737 27 EXIT pred char:is_lower/1-0 (semidet)
1950: 739 27 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1951: 740 28 CALL pred string:first_char/3-3 (semidet)
1952: 740 28 EXIT pred string:first_char/3-3 (semidet)
1953: 739 27 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1954: 741 28 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1955: 741 28 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s50;
1956: 741 28 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1957: 742 28 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1958: 743 29 CALL pred string:first_char/3-3 (semidet)
1959: 743 29 EXIT pred string:first_char/3-3 (semidet)
1960: 742 28 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1961: 744 29 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1962: 744 29 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s38;
1963: 744 29 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1964: 745 29 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1965: 746 30 CALL pred string:first_char/3-3 (semidet)
1966: 746 30 EXIT pred string:first_char/3-3 (semidet)
1967: 745 29 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1968: 747 30 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1969: 747 30 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
1970: 747 30 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1971: 748 30 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1972: 749 31 CALL pred string:first_char/3-3 (semidet)
1973: 749 31 EXIT pred string:first_char/3-3 (semidet)
1974: 748 30 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
1975: 750 31 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
1976: 750 31 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
1977: 750 31 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
1978: 751 31 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
1979: 752 32 CALL pred string:first_char/3-3 (semidet)
1980: 752 32 FAIL pred string:first_char/3-3 (semidet)
1981: 751 31 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
1982: 751 31 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1983: 748 30 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1984: 745 29 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1985: 742 28 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1986: 739 27 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
1987: 720 26 THEN pred term_io:quote_atom/4-0 (det) t;
1988: 753 27 CALL pred io:write_string/3-0 (det)
small 1989: 753 27 EXIT pred io:write_string/3-0 (det)
1990: 720 26 EXIT pred term_io:quote_atom/4-0 (det)
1991: 714 25 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;e;
1992: 714 25 EXIT pred io:write_ordinary_term/4-0 (det)
1993: 695 24 EXIT pred io:write_univ/4-0 (det)
1994: 693 23 EXIT pred io:write_arg/3-0 (det)
1995: 754 23 CALL pred io:write_term_args/3-0 (det)
1996: 754 23 SWTC pred io:write_term_args/3-0 (det) s2;
1997: 754 23 EXIT pred io:write_term_args/3-0 (det)
1998: 691 22 EXIT pred io:write_term_args/3-0 (det)
1999: 679 21 EXIT pred io:write_term_args/3-0 (det)
2000: 755 21 CALL pred io:write_char/3-0 (det)
) 2001: 755 21 EXIT pred io:write_char/3-0 (det)
2002: 589 20 EXIT pred io:write_ordinary_term/4-0 (det)
2003: 570 19 EXIT pred io:write_univ/4-0 (det)
2004: 568 18 EXIT pred io:write_arg/3-0 (det)
2005: 756 18 CALL pred io:write_term_args/3-0 (det)
2006: 756 18 SWTC pred io:write_term_args/3-0 (det) s2;
2007: 756 18 EXIT pred io:write_term_args/3-0 (det)
2008: 566 17 EXIT pred io:write_term_args/3-0 (det)
2009: 554 16 EXIT pred io:write_term_args/3-0 (det)
2010: 757 16 CALL pred io:write_char/3-0 (det)
) 2011: 757 16 EXIT pred io:write_char/3-0 (det)
2012: 464 15 EXIT pred io:write_ordinary_term/4-0 (det)
2013: 445 14 EXIT pred io:write_univ/4-0 (det)
2014: 443 13 EXIT pred io:write_arg/3-0 (det)
2015: 758 13 CALL pred io:write_term_args/3-0 (det)
2016: 758 13 SWTC pred io:write_term_args/3-0 (det) s1;
2017: 759 14 CALL pred io:write_string/3-0 (det)
, 2018: 759 14 EXIT pred io:write_string/3-0 (det)
2019: 760 14 CALL pred io:write_arg/3-0 (det)
2020: 761 15 CALL pred io:arg_priority/3-0 (det)
2021: 761 15 EXIT pred io:arg_priority/3-0 (det)
2022: 762 15 CALL pred io:write_univ/4-0 (det)
2023: 763 16 CALL pred std_util:univ_to_type/2-0 (semidet)
2024: 764 17 CALL pred std_util:type_to_univ/2-2 (semidet)
2025: 764 17 FAIL pred std_util:type_to_univ/2-2 (semidet)
2026: 763 16 FAIL pred std_util:univ_to_type/2-0 (semidet)
2027: 762 15 ELSE pred io:write_univ/4-0 (det) e;
2028: 765 16 CALL pred std_util:univ_to_type/2-0 (semidet)
2029: 766 17 CALL pred std_util:type_to_univ/2-2 (semidet)
2030: 766 17 FAIL pred std_util:type_to_univ/2-2 (semidet)
2031: 765 16 FAIL pred std_util:univ_to_type/2-0 (semidet)
2032: 762 15 ELSE pred io:write_univ/4-0 (det) e;e;
2033: 767 16 CALL pred std_util:univ_to_type/2-0 (semidet)
2034: 768 17 CALL pred std_util:type_to_univ/2-2 (semidet)
2035: 768 17 EXIT pred std_util:type_to_univ/2-2 (semidet)
2036: 767 16 EXIT pred std_util:univ_to_type/2-0 (semidet)
2037: 762 15 THEN pred io:write_univ/4-0 (det) e;e;t;
2038: 769 16 CALL pred io:write_int/3-0 (det)
6 2039: 769 16 EXIT pred io:write_int/3-0 (det)
2040: 762 15 EXIT pred io:write_univ/4-0 (det)
2041: 760 14 EXIT pred io:write_arg/3-0 (det)
2042: 770 14 CALL pred io:write_term_args/3-0 (det)
2043: 770 14 SWTC pred io:write_term_args/3-0 (det) s1;
2044: 771 15 CALL pred io:write_string/3-0 (det)
, 2045: 771 15 EXIT pred io:write_string/3-0 (det)
2046: 772 15 CALL pred io:write_arg/3-0 (det)
2047: 773 16 CALL pred io:arg_priority/3-0 (det)
2048: 773 16 EXIT pred io:arg_priority/3-0 (det)
2049: 774 16 CALL pred io:write_univ/4-0 (det)
2050: 775 17 CALL pred std_util:univ_to_type/2-0 (semidet)
2051: 776 18 CALL pred std_util:type_to_univ/2-2 (semidet)
2052: 776 18 FAIL pred std_util:type_to_univ/2-2 (semidet)
2053: 775 17 FAIL pred std_util:univ_to_type/2-0 (semidet)
2054: 774 16 ELSE pred io:write_univ/4-0 (det) e;
2055: 777 17 CALL pred std_util:univ_to_type/2-0 (semidet)
2056: 778 18 CALL pred std_util:type_to_univ/2-2 (semidet)
2057: 778 18 FAIL pred std_util:type_to_univ/2-2 (semidet)
2058: 777 17 FAIL pred std_util:univ_to_type/2-0 (semidet)
2059: 774 16 ELSE pred io:write_univ/4-0 (det) e;e;
2060: 779 17 CALL pred std_util:univ_to_type/2-0 (semidet)
2061: 780 18 CALL pred std_util:type_to_univ/2-2 (semidet)
2062: 780 18 FAIL pred std_util:type_to_univ/2-2 (semidet)
2063: 779 17 FAIL pred std_util:univ_to_type/2-0 (semidet)
2064: 774 16 ELSE pred io:write_univ/4-0 (det) e;e;e;
2065: 781 17 CALL pred std_util:univ_to_type/2-0 (semidet)
2066: 782 18 CALL pred std_util:type_to_univ/2-2 (semidet)
2067: 782 18 FAIL pred std_util:type_to_univ/2-2 (semidet)
2068: 781 17 FAIL pred std_util:univ_to_type/2-0 (semidet)
2069: 774 16 ELSE pred io:write_univ/4-0 (det) e;e;e;e;
2070: 783 17 CALL pred std_util:univ_to_type/2-0 (semidet)
2071: 784 18 CALL pred std_util:type_to_univ/2-2 (semidet)
2072: 784 18 FAIL pred std_util:type_to_univ/2-2 (semidet)
2073: 783 17 FAIL pred std_util:univ_to_type/2-0 (semidet)
2074: 774 16 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;
2075: 785 17 CALL pred std_util:univ_to_type/2-0 (semidet)
2076: 786 18 CALL pred std_util:type_to_univ/2-2 (semidet)
2077: 786 18 FAIL pred std_util:type_to_univ/2-2 (semidet)
2078: 785 17 FAIL pred std_util:univ_to_type/2-0 (semidet)
2079: 774 16 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;
2080: 787 17 CALL pred std_util:univ_to_type/2-0 (semidet)
2081: 788 18 CALL pred std_util:type_to_univ/2-2 (semidet)
2082: 788 18 FAIL pred std_util:type_to_univ/2-2 (semidet)
2083: 787 17 FAIL pred std_util:univ_to_type/2-0 (semidet)
2084: 774 16 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;
2085: 789 17 CALL func std_util:univ_type/2-0 (det)
2086: 789 17 EXIT func std_util:univ_type/2-0 (det)
2087: 790 17 CALL pred std_util:type_ctor_and_args/3-0 (det)
2088: 790 17 EXIT pred std_util:type_ctor_and_args/3-0 (det)
2089: 774 16 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;
2090: 791 17 CALL func std_util:univ_type/2-0 (det)
2091: 791 17 EXIT func std_util:univ_type/2-0 (det)
2092: 792 17 CALL pred std_util:type_ctor_and_args/3-0 (det)
2093: 792 17 EXIT pred std_util:type_ctor_and_args/3-0 (det)
2094: 774 16 ELSE pred io:write_univ/4-0 (det) e;e;e;e;e;e;e;e;e;
2095: 793 17 CALL pred io:write_ordinary_term/4-0 (det)
2096: 794 18 CALL pred std_util:deconstruct/4-0 (det)
2097: 794 18 EXIT pred std_util:deconstruct/4-0 (det)
2098: 795 18 CALL pred io:get_op_table/3-0 (det)
2099: 796 19 CALL pred ops:init_op_table/1-0 (det)
2100: 796 19 EXIT pred ops:init_op_table/1-0 (det)
2101: 795 18 EXIT pred io:get_op_table/3-0 (det)
2102: 793 17 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;
2103: 793 17 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;
2104: 793 17 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;
2105: 793 17 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;
2106: 793 17 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;
2107: 793 17 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;
2108: 793 17 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;
2109: 797 18 CALL pred ops:lookup_op/2-0 (semidet)
2110: 798 19 CALL pred ops:op_table/4-1 (nondet)
2111: 798 19 FAIL pred ops:op_table/4-1 (nondet)
2112: 797 18 FAIL pred ops:lookup_op/2-0 (semidet)
2113: 793 17 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c1;e;
2114: 799 18 CALL pred term_io:quote_atom/4-0 (det)
2115: 799 18 DISJ pred term_io:quote_atom/4-0 (det) ?;d1;
2116: 799 18 DISJ pred term_io:quote_atom/4-0 (det) ?;d2;
2117: 800 19 CALL pred string:to_char_list/2-0 (det)
2118: 801 20 CALL pred string:to_int_list/2-1 (det)
2119: 801 20 EXIT pred string:to_int_list/2-1 (det)
2120: 802 20 CALL pred string:int_list_to_char_list/2-0 (det)
2121: 802 20 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
2122: 803 21 CALL pred char:to_int/2-2 (semidet)
2123: 803 21 EXIT pred char:to_int/2-2 (semidet)
2124: 802 20 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
2125: 804 21 CALL pred string:int_list_to_char_list/2-0 (det)
2126: 804 21 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
2127: 805 22 CALL pred char:to_int/2-2 (semidet)
2128: 805 22 EXIT pred char:to_int/2-2 (semidet)
2129: 804 21 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
2130: 806 22 CALL pred string:int_list_to_char_list/2-0 (det)
2131: 806 22 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
2132: 807 23 CALL pred char:to_int/2-2 (semidet)
2133: 807 23 EXIT pred char:to_int/2-2 (semidet)
2134: 806 22 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
2135: 808 23 CALL pred string:int_list_to_char_list/2-0 (det)
2136: 808 23 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
2137: 809 24 CALL pred char:to_int/2-2 (semidet)
2138: 809 24 EXIT pred char:to_int/2-2 (semidet)
2139: 808 23 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
2140: 810 24 CALL pred string:int_list_to_char_list/2-0 (det)
2141: 810 24 SWTC pred string:int_list_to_char_list/2-0 (det) s1;
2142: 811 25 CALL pred char:to_int/2-2 (semidet)
2143: 811 25 EXIT pred char:to_int/2-2 (semidet)
2144: 810 24 THEN pred string:int_list_to_char_list/2-0 (det) s1;c2;t;
2145: 812 25 CALL pred string:int_list_to_char_list/2-0 (det)
2146: 812 25 SWTC pred string:int_list_to_char_list/2-0 (det) s2;
2147: 812 25 EXIT pred string:int_list_to_char_list/2-0 (det)
2148: 810 24 EXIT pred string:int_list_to_char_list/2-0 (det)
2149: 808 23 EXIT pred string:int_list_to_char_list/2-0 (det)
2150: 806 22 EXIT pred string:int_list_to_char_list/2-0 (det)
2151: 804 21 EXIT pred string:int_list_to_char_list/2-0 (det)
2152: 802 20 EXIT pred string:int_list_to_char_list/2-0 (det)
2153: 800 19 EXIT pred string:to_char_list/2-0 (det)
2154: 813 19 CALL pred list:member/2-1 (nondet)
2155: 813 19 DISJ pred list:member/2-1 (nondet) c2;d1;
2156: 813 19 EXIT pred list:member/2-1 (nondet)
2157: 814 19 CALL pred lexer:graphic_token_char/1-0 (semidet)
2158: 814 19 FAIL pred lexer:graphic_token_char/1-0 (semidet)
2159: 799 18 DISJ pred term_io:quote_atom/4-0 (det) ?;d3;
2160: 815 19 CALL pred string:first_char/3-3 (semidet)
2161: 815 19 EXIT pred string:first_char/3-3 (semidet)
2162: 816 19 CALL pred char:is_lower/1-0 (semidet)
2163: 817 20 CALL pred char:lower_upper/2-0 (semidet)
2164: 817 20 SWTC pred char:lower_upper/2-0 (semidet) s19;
2165: 817 20 EXIT pred char:lower_upper/2-0 (semidet)
2166: 816 19 EXIT pred char:is_lower/1-0 (semidet)
2167: 818 19 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
2168: 819 20 CALL pred string:first_char/3-3 (semidet)
2169: 819 20 EXIT pred string:first_char/3-3 (semidet)
2170: 818 19 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
2171: 820 20 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
2172: 820 20 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s50;
2173: 820 20 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
2174: 821 20 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
2175: 822 21 CALL pred string:first_char/3-3 (semidet)
2176: 822 21 EXIT pred string:first_char/3-3 (semidet)
2177: 821 20 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
2178: 823 21 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
2179: 823 21 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s38;
2180: 823 21 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
2181: 824 21 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
2182: 825 22 CALL pred string:first_char/3-3 (semidet)
2183: 825 22 EXIT pred string:first_char/3-3 (semidet)
2184: 824 21 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
2185: 826 22 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
2186: 826 22 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
2187: 826 22 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
2188: 827 22 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
2189: 828 23 CALL pred string:first_char/3-3 (semidet)
2190: 828 23 EXIT pred string:first_char/3-3 (semidet)
2191: 827 22 THEN pred string:is_alnum_or_underscore/1-0 (semidet) t;
2192: 829 23 CALL pred char:is_alnum_or_underscore/1-0 (semidet)
2193: 829 23 SWTC pred char:is_alnum_or_underscore/1-0 (semidet) s49;
2194: 829 23 EXIT pred char:is_alnum_or_underscore/1-0 (semidet)
2195: 830 23 CALL pred string:is_alnum_or_underscore/1-0 (semidet)
2196: 831 24 CALL pred string:first_char/3-3 (semidet)
2197: 831 24 FAIL pred string:first_char/3-3 (semidet)
2198: 830 23 ELSE pred string:is_alnum_or_underscore/1-0 (semidet) e;
2199: 830 23 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
2200: 827 22 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
2201: 824 21 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
2202: 821 20 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
2203: 818 19 EXIT pred string:is_alnum_or_underscore/1-0 (semidet)
2204: 799 18 THEN pred term_io:quote_atom/4-0 (det) t;
2205: 832 19 CALL pred io:write_string/3-0 (det)
small 2206: 832 19 EXIT pred io:write_string/3-0 (det)
2207: 799 18 EXIT pred term_io:quote_atom/4-0 (det)
2208: 793 17 ELSE pred io:write_ordinary_term/4-0 (det) c4;e;e;e;e;e;e;e;c2;e;
2209: 793 17 EXIT pred io:write_ordinary_term/4-0 (det)
2210: 774 16 EXIT pred io:write_univ/4-0 (det)
2211: 772 15 EXIT pred io:write_arg/3-0 (det)
2212: 833 15 CALL pred io:write_term_args/3-0 (det)
2213: 833 15 SWTC pred io:write_term_args/3-0 (det) s2;
2214: 833 15 EXIT pred io:write_term_args/3-0 (det)
2215: 770 14 EXIT pred io:write_term_args/3-0 (det)
2216: 758 13 EXIT pred io:write_term_args/3-0 (det)
2217: 834 13 CALL pred io:write_char/3-0 (det)
) 2218: 834 13 EXIT pred io:write_char/3-0 (det)
2219: 414 12 EXIT pred io:write_ordinary_term/4-0 (det)
2220: 395 11 EXIT pred io:write_univ/4-0 (det)
2221: 393 10 EXIT pred io:write_arg/3-0 (det)
2222: 835 10 CALL pred io:write_term_args/3-0 (det)
2223: 835 10 SWTC pred io:write_term_args/3-0 (det) s2;
2224: 835 10 EXIT pred io:write_term_args/3-0 (det)
2225: 391 9 EXIT pred io:write_term_args/3-0 (det)
2226: 379 8 EXIT pred io:write_term_args/3-0 (det)
2227: 836 8 CALL pred io:write_char/3-0 (det)
) 2228: 836 8 EXIT pred io:write_char/3-0 (det)
2229: 35 7 EXIT pred io:write_ordinary_term/4-0 (det)
2230: 16 6 EXIT pred io:write_univ/4-0 (det)
2231: 14 5 EXIT pred io:write_univ/3-0 (det)
2232: 12 4 EXIT pred io:write/3-0 (det)
2233: 11 3 EXIT pred io:print_quoted/3-0 (det)
2234: 3 2 EXIT pred io:print/3-0 (det)
2235: 837 2 CALL pred io:write_string/3-0 (det)
.
2236: 837 2 EXIT pred io:write_string/3-0 (det)
2237: 1 1 EXIT pred browser_test:main/2-0 (det)
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list