[m-dev.] for review: --trace shallow for the library
Zoltan Somogyi
zs at cs.mu.OZ.AU
Mon Nov 15 18:17:44 AEDT 1999
For review by Fergus.
Compile the files in the library directory with --trace minimum by default,
which has no effect in non-debugging grades and causes the library to be
shallow traced, not deep traced, in debugging grades.
This is probably what most users want, and it makes it much easier to
maintain the expected output of the debugging test cases in debugging grades.
library/Mmakefile:
Add --trace minimum to MCG.
tests/*/*:
Update the test cases both for this change and for my previous change,
the addition of line numbers.
Note that the diff for the test cases is big but trivial and extremely boring.
Only the diff for the Mmakefile really requires review.
Zoltan.
cvs diff: Diffing .
cvs diff: Diffing bindist
cvs diff: Diffing boehm_gc
cvs diff: Diffing boehm_gc/Mac_files
cvs diff: Diffing boehm_gc/cord
cvs diff: Diffing boehm_gc/cord/private
cvs diff: Diffing boehm_gc/include
cvs diff: Diffing boehm_gc/include/private
cvs diff: Diffing browser
cvs diff: Diffing bytecode
cvs diff: Diffing compiler
cvs diff: Diffing compiler/notes
cvs diff: Diffing debian
cvs diff: Diffing doc
cvs diff: Diffing extras
cvs diff: Diffing extras/aditi
cvs diff: Diffing extras/cgi
cvs diff: Diffing extras/complex_numbers
cvs diff: Diffing extras/complex_numbers/samples
cvs diff: Diffing extras/complex_numbers/tests
cvs diff: Diffing extras/dynamic_linking
cvs diff: Diffing extras/graphics
cvs diff: Diffing extras/graphics/mercury_opengl
cvs diff: Diffing extras/graphics/mercury_tcltk
cvs diff: Diffing extras/graphics/samples
cvs diff: Diffing extras/graphics/samples/calc
cvs diff: Diffing extras/graphics/samples/maze
cvs diff: Diffing extras/graphics/samples/pent
cvs diff: Diffing extras/lazy_evaluation
cvs diff: Diffing extras/odbc
cvs diff: Diffing extras/opium_m
cvs diff: Diffing extras/opium_m/non-regression-tests
cvs diff: Diffing extras/opium_m/scripts
cvs diff: Diffing extras/opium_m/source
cvs diff: Diffing extras/posix
cvs diff: Diffing extras/references
cvs diff: Diffing extras/references/samples
cvs diff: Diffing extras/references/tests
cvs diff: Diffing extras/trailed_update
cvs diff: Diffing extras/trailed_update/samples
cvs diff: Diffing extras/trailed_update/tests
cvs diff: Diffing library
Index: library/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.43
diff -u -b -r1.43 Mmakefile
--- Mmakefile 1999/10/19 04:44:43 1.43
+++ Mmakefile 1999/11/15 01:22:33
@@ -62,8 +62,8 @@
$(ENABLE_TERM_OPTS)
MCTOI = $(M_ENV) $(MC) --make-trans-opt $(INTERMODULE_OPTS) \
$(ENABLE_TERM_OPTS)
-MCG = $(M_ENV) $(MC) --compile-to-c $(INTERMODULE_OPTS) \
- $(CHECK_TERM_OPTS)
+MCG = $(M_ENV) $(MC) --compile-to-c --trace minimum \
+ $(INTERMODULE_OPTS) $(CHECK_TERM_OPTS)
MCS = $(M_ENV) $(MC) --split-c-files -c --cflags "$(ALL_CFLAGS)" \
$(INTERMODULE_OPTS) $(CHECK_TERM_OPTS)
MGNUC = $(M_ENV) $(SCRIPTS_DIR)/mgnuc
cvs diff: Diffing profiler
cvs diff: Diffing runtime
cvs diff: Diffing runtime/GETOPT
cvs diff: Diffing runtime/machdeps
cvs diff: Diffing samples
cvs diff: Diffing samples/c_interface
cvs diff: Diffing samples/c_interface/c_calls_mercury
cvs diff: Diffing samples/c_interface/cplusplus_calls_mercury
cvs diff: Diffing samples/c_interface/mercury_calls_c
cvs diff: Diffing samples/c_interface/mercury_calls_cplusplus
cvs diff: Diffing samples/c_interface/mercury_calls_fortran
cvs diff: Diffing samples/c_interface/simpler_c_calls_mercury
cvs diff: Diffing samples/c_interface/simpler_cplusplus_calls_mercury
cvs diff: Diffing samples/diff
cvs diff: Diffing samples/muz
cvs diff: Diffing samples/rot13
cvs diff: Diffing samples/solutions
cvs diff: Diffing scripts
cvs diff: Diffing tests
cvs diff: Diffing tests/benchmarks
cvs diff: Diffing tests/debugger
Index: tests/debugger/browser_test.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/browser_test.exp2,v
retrieving revision 1.1
diff -u -b -r1.1 browser_test.exp2
--- browser_test.exp2 1999/10/26 08:35:16 1.1
+++ browser_test.exp2 1999/11/15 05:49:46
@@ -1,8 +1,8 @@
- 1: 1 1 CALL pred browser_test:main/2-0 (det)
+ 1: 1 1 CALL pred browser_test:main/2-0 (det) browser_test.m:12
mdb> echo on
Command echo enabled.
mdb> goto 3
- 3: 2 2 EXIT pred browser_test:big_data/1-0 (det)
+ 3: 2 2 EXIT pred browser_test:big_data/1-0 (det) browser_test.m:19 (browser_test.m:12)
mdb> print *
HeadVar__1 big(big(big(small, 1, small), 2, small), 3, big(big(small, 4, big/3), 6, small))
mdb> browse 1
@@ -80,2241 +80,12 @@
browser> quit
mdb> retry
- 2: 2 2 CALL pred browser_test:big_data/1-0 (det)
+ 2: 2 2 CALL pred browser_test:big_data/1-0 (det) browser_test.m:19 (browser_test.m:12)
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)
+ 3: 2 2 EXIT pred browser_test:big_data/1-0 (det) browser_test.m:19 (browser_test.m:12)
+ 4: 3 2 CALL pred io:print/3-0 (det) io.m:1785 (browser_test.m:13)
+big(big(big(small, 1, small), 2, small), 3, big(big(small, 4, big(small, 5, small)), 6, small)) 5: 3 2 EXIT pred io:print/3-0 (det) io.m:1793 (browser_test.m:13)
+ 6: 4 2 CALL pred io:write_string/3-0 (det) io.m:2837 (browser_test.m:14)
.
- 2236: 837 2 EXIT pred io:write_string/3-0 (det)
- 2237: 1 1 EXIT pred browser_test:main/2-0 (det)
+ 7: 4 2 EXIT pred io:write_string/3-0 (det) io.m:2837 (browser_test.m:14)
+ 8: 1 1 EXIT pred browser_test:main/2-0 (det) browser_test.m:14
Index: tests/debugger/existential_type_classes.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/existential_type_classes.exp2,v
retrieving revision 1.6
diff -u -b -r1.6 existential_type_classes.exp2
--- existential_type_classes.exp2 1999/10/31 22:48:07 1.6
+++ existential_type_classes.exp2 1999/11/15 05:49:55
@@ -1,144 +1,205 @@
- 1: 1 1 CALL pred existential_type_classes:main/2-0 (det)
+ 1: 1 1 CALL pred existential_type_classes:main/2-0 (det) existential_type_classes.m:57
mdb> echo on
Command echo enabled.
mdb> alias P print *
P => print *
mdb> register --quiet
+mdb> context prevline
+Contexts will be printed on the previous line.
mdb> break -i do_foo
0: + stop interface pred existential_type_classes:do_foo/2-0 (det)
mdb> continue -a
- 2: 2 2 CALL pred existential_type_classes:do_foo/2-0 (det)
+ 2: 2 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:51)
+ pred existential_type_classes:do_foo/2-0 (det)
mdb> P
HeadVar__1 42
mdb>
- 3: 3 3 CALL pred existential_type_classes:foo/2-0 (det)
+ 3: 3 3 CALL (from existential_type_classes.m:68)
+ pred existential_type_classes:foo/2-0 (det)
mdb> P
HeadVar__1 42
mdb>
- 4: 4 4 CALL pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
+ 4: 4 4 CALL existential_type_classes.m:21
+ pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 42
mdb> continue -a
- 5: 5 5 CALL pred existential_type_classes:int_foo/2-0 (det)
- 6: 5 5 EXIT pred existential_type_classes:int_foo/2-0 (det)
- 7: 4 4 EXIT pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
- 8: 3 3 EXIT pred existential_type_classes:foo/2-0 (det)
- 9: 2 2 EXIT pred existential_type_classes:do_foo/2-0 (det)
+ 5: 5 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ pred existential_type_classes:int_foo/2-0 (det)
+ 6: 5 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ pred existential_type_classes:int_foo/2-0 (det)
+ 7: 4 4 EXIT existential_type_classes.m:21
+ pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
+ 8: 3 3 EXIT (from existential_type_classes.m:68)
+ pred existential_type_classes:foo/2-0 (det)
+ 9: 2 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:51)
+ pred existential_type_classes:do_foo/2-0 (det)
mdb> P
HeadVar__1 42
HeadVar__2 84
mdb> continue -a
- 10: 6 2 CALL pred existential_type_classes:do_foo/2-0 (det)
+ 10: 6 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:52)
+ pred existential_type_classes:do_foo/2-0 (det)
mdb> P
HeadVar__1 "blah"
mdb>
- 11: 7 3 CALL pred existential_type_classes:foo/2-0 (det)
+ 11: 7 3 CALL (from existential_type_classes.m:68)
+ pred existential_type_classes:foo/2-0 (det)
mdb> P
HeadVar__1 "blah"
mdb>
- 12: 8 4 CALL pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__string__arity0______existential_type_classes__foo_2/2-0 (det)
+ 12: 8 4 CALL existential_type_classes.m:25
+ pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__string__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 "blah"
mdb> continue -a
- 13: 9 5 CALL pred existential_type_classes:string_foo/2-0 (det)
- 14: 10 6 CALL pred string:length/2-0 (det)
- 15: 10 6 EXIT pred string:length/2-0 (det)
- 16: 9 5 EXIT pred existential_type_classes:string_foo/2-0 (det)
- 17: 8 4 EXIT pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__string__arity0______existential_type_classes__foo_2/2-0 (det)
- 18: 7 3 EXIT pred existential_type_classes:foo/2-0 (det)
- 19: 6 2 EXIT pred existential_type_classes:do_foo/2-0 (det)
+ 13: 9 5 CALL existential_type_classes.m:47 (from existential_type_classes.m:25)
+ pred existential_type_classes:string_foo/2-0 (det)
+ 14: 10 6 CALL string.m:1692 (from existential_type_classes.m:47)
+ pred string:length/2-0 (det)
+ 15: 10 6 EXIT string.m:1692 (from existential_type_classes.m:47)
+ pred string:length/2-0 (det)
+ 16: 9 5 EXIT existential_type_classes.m:47 (from existential_type_classes.m:25)
+ pred existential_type_classes:string_foo/2-0 (det)
+ 17: 8 4 EXIT existential_type_classes.m:25
+ pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__string__arity0______existential_type_classes__foo_2/2-0 (det)
+ 18: 7 3 EXIT (from existential_type_classes.m:68)
+ pred existential_type_classes:foo/2-0 (det)
+ 19: 6 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:52)
+ pred existential_type_classes:do_foo/2-0 (det)
mdb> P
HeadVar__1 "blah"
HeadVar__2 4
mdb> continue -a
- 20: 11 2 CALL func existential_type_classes:my_exist_t/1-0 (det)
- 21: 11 2 EXIT func existential_type_classes:my_exist_t/1-0 (det)
- 22: 12 2 CALL pred existential_type_classes:do_foo/2-0 (det)
+ 20: 11 2 CALL existential_type_classes.m:74 (from existential_type_classes.m:53)
+ func existential_type_classes:my_exist_t/1-0 (det)
+ 21: 11 2 EXIT existential_type_classes.m:74 (from existential_type_classes.m:53)
+ func existential_type_classes:my_exist_t/1-0 (det)
+ 22: 12 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:53)
+ pred existential_type_classes:do_foo/2-0 (det)
mdb> P
HeadVar__1 43
mdb>
- 23: 13 3 CALL pred existential_type_classes:foo/2-0 (det)
+ 23: 13 3 CALL (from existential_type_classes.m:68)
+ pred existential_type_classes:foo/2-0 (det)
mdb> P
HeadVar__1 43
mdb>
- 24: 14 4 CALL pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
+ 24: 14 4 CALL existential_type_classes.m:21
+ pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 43
mdb> continue -a
- 25: 15 5 CALL pred existential_type_classes:int_foo/2-0 (det)
- 26: 15 5 EXIT pred existential_type_classes:int_foo/2-0 (det)
- 27: 14 4 EXIT pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
- 28: 13 3 EXIT pred existential_type_classes:foo/2-0 (det)
- 29: 12 2 EXIT pred existential_type_classes:do_foo/2-0 (det)
+ 25: 15 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ pred existential_type_classes:int_foo/2-0 (det)
+ 26: 15 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ pred existential_type_classes:int_foo/2-0 (det)
+ 27: 14 4 EXIT existential_type_classes.m:21
+ pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
+ 28: 13 3 EXIT (from existential_type_classes.m:68)
+ pred existential_type_classes:foo/2-0 (det)
+ 29: 12 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:53)
+ pred existential_type_classes:do_foo/2-0 (det)
mdb> P
HeadVar__1 43
HeadVar__2 86
mdb> continue -a
- 30: 16 2 CALL func existential_type_classes:call_my_exist_t/1-0 (det)
- 31: 17 3 CALL func existential_type_classes:my_exist_t/1-0 (det)
- 32: 17 3 EXIT func existential_type_classes:my_exist_t/1-0 (det)
- 33: 16 2 EXIT func existential_type_classes:call_my_exist_t/1-0 (det)
- 34: 18 2 CALL pred existential_type_classes:do_foo/2-0 (det)
+ 30: 16 2 CALL existential_type_classes.m:70 (from existential_type_classes.m:54)
+ func existential_type_classes:call_my_exist_t/1-0 (det)
+ 31: 17 3 CALL existential_type_classes.m:74 (from existential_type_classes.m:70)
+ func existential_type_classes:my_exist_t/1-0 (det)
+ 32: 17 3 EXIT existential_type_classes.m:74 (from existential_type_classes.m:70)
+ func existential_type_classes:my_exist_t/1-0 (det)
+ 33: 16 2 EXIT existential_type_classes.m:70 (from existential_type_classes.m:54)
+ func existential_type_classes:call_my_exist_t/1-0 (det)
+ 34: 18 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:54)
+ pred existential_type_classes:do_foo/2-0 (det)
mdb> P
HeadVar__1 43
mdb>
- 35: 19 3 CALL pred existential_type_classes:foo/2-0 (det)
+ 35: 19 3 CALL (from existential_type_classes.m:68)
+ pred existential_type_classes:foo/2-0 (det)
mdb> P
HeadVar__1 43
mdb>
- 36: 20 4 CALL pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
+ 36: 20 4 CALL existential_type_classes.m:21
+ pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 43
mdb> continue -a
- 37: 21 5 CALL pred existential_type_classes:int_foo/2-0 (det)
- 38: 21 5 EXIT pred existential_type_classes:int_foo/2-0 (det)
- 39: 20 4 EXIT pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
- 40: 19 3 EXIT pred existential_type_classes:foo/2-0 (det)
- 41: 18 2 EXIT pred existential_type_classes:do_foo/2-0 (det)
+ 37: 21 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ pred existential_type_classes:int_foo/2-0 (det)
+ 38: 21 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ pred existential_type_classes:int_foo/2-0 (det)
+ 39: 20 4 EXIT existential_type_classes.m:21
+ pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
+ 40: 19 3 EXIT (from existential_type_classes.m:68)
+ pred existential_type_classes:foo/2-0 (det)
+ 41: 18 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:54)
+ pred existential_type_classes:do_foo/2-0 (det)
mdb> P
HeadVar__1 43
HeadVar__2 86
mdb> continue -a
- 42: 22 2 CALL func existential_type_classes:my_univ/2-0 (det)
- 43: 22 2 EXIT func existential_type_classes:my_univ/2-0 (det)
- 44: 23 2 CALL func existential_type_classes:my_univ_value/2-0 (det)
- 45: 23 2 EXIT func existential_type_classes:my_univ_value/2-0 (det)
- 46: 24 2 CALL pred existential_type_classes:do_foo/2-0 (det)
+ 42: 22 2 CALL existential_type_classes.m:82 (from existential_type_classes.m:55)
+ func existential_type_classes:my_univ/2-0 (det)
+ 43: 22 2 EXIT existential_type_classes.m:82 (from existential_type_classes.m:55)
+ func existential_type_classes:my_univ/2-0 (det)
+ 44: 23 2 CALL existential_type_classes.m:76 (from existential_type_classes.m:55)
+ func existential_type_classes:my_univ_value/2-0 (det)
+ 45: 23 2 EXIT existential_type_classes.m:76 (from existential_type_classes.m:55)
+ func existential_type_classes:my_univ_value/2-0 (det)
+ 46: 24 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:55)
+ pred existential_type_classes:do_foo/2-0 (det)
mdb> P
HeadVar__1 45
mdb>
- 47: 25 3 CALL pred existential_type_classes:foo/2-0 (det)
+ 47: 25 3 CALL (from existential_type_classes.m:68)
+ pred existential_type_classes:foo/2-0 (det)
mdb> P
HeadVar__1 45
mdb>
- 48: 26 4 CALL pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
+ 48: 26 4 CALL existential_type_classes.m:21
+ pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 45
mdb> continue -a
- 49: 27 5 CALL pred existential_type_classes:int_foo/2-0 (det)
- 50: 27 5 EXIT pred existential_type_classes:int_foo/2-0 (det)
- 51: 26 4 EXIT pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
- 52: 25 3 EXIT pred existential_type_classes:foo/2-0 (det)
- 53: 24 2 EXIT pred existential_type_classes:do_foo/2-0 (det)
+ 49: 27 5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ pred existential_type_classes:int_foo/2-0 (det)
+ 50: 27 5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ pred existential_type_classes:int_foo/2-0 (det)
+ 51: 26 4 EXIT existential_type_classes.m:21
+ pred existential_type_classes:Introduced_pred_for_existential_type_classes__fooable__int__arity0______existential_type_classes__foo_2/2-0 (det)
+ 52: 25 3 EXIT (from existential_type_classes.m:68)
+ pred existential_type_classes:foo/2-0 (det)
+ 53: 24 2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:55)
+ pred existential_type_classes:do_foo/2-0 (det)
mdb> P
HeadVar__1 45
HeadVar__2 90
mdb>
- 54: 28 2 CALL func existential_type_classes:my_univ/2-0 (det)
+ 54: 28 2 CALL existential_type_classes.m:82 (from existential_type_classes.m:56)
+ func existential_type_classes:my_univ/2-0 (det)
mdb>
- 55: 28 2 EXIT func existential_type_classes:my_univ/2-0 (det)
+ 55: 28 2 EXIT existential_type_classes.m:82 (from existential_type_classes.m:56)
+ func existential_type_classes:my_univ/2-0 (det)
mdb>
- 56: 29 2 CALL func existential_type_classes:call_my_univ_value/2-0 (det)
+ 56: 29 2 CALL existential_type_classes.m:72 (from existential_type_classes.m:56)
+ func existential_type_classes:call_my_univ_value/2-0 (det)
mdb> P
HeadVar__1 my_univ('<<c_pointer>>')
mdb>
- 57: 30 3 CALL func existential_type_classes:my_univ_value/2-0 (det)
+ 57: 30 3 CALL existential_type_classes.m:76 (from existential_type_classes.m:72)
+ func existential_type_classes:my_univ_value/2-0 (det)
mdb> P
Univ my_univ('<<c_pointer>>')
mdb> continue -a
- 58: 30 3 EXIT func existential_type_classes:my_univ_value/2-0 (det)
- 59: 29 2 EXIT func existential_type_classes:call_my_univ_value/2-0 (det)
- 60: 31 2 CALL pred existential_type_classes:do_foo/2-0 (det)
+ 58: 30 3 EXIT existential_type_classes.m:76 (from existential_type_classes.m:72)
+ func existential_type_classes:my_univ_value/2-0 (det)
+ 59: 29 2 EXIT existential_type_classes.m:72 (from existential_type_classes.m:56)
+ func existential_type_classes:call_my_univ_value/2-0 (det)
+ 60: 31 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:56)
+ pred existential_type_classes:do_foo/2-0 (det)
mdb> P
HeadVar__1 "something"
mdb> continue -S
Index: tests/debugger/interpreter.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/interpreter.exp2,v
retrieving revision 1.8
diff -u -b -r1.8 interpreter.exp2
--- interpreter.exp2 1999/10/31 22:48:09 1.8
+++ interpreter.exp2 1999/11/15 05:50:09
@@ -1,6 +1,8 @@
- 1: 1 1 CALL pred interpreter:main/2-0 (det)
+ 1: 1 1 CALL pred interpreter:main/2-0 (det) interpreter.m:35
mdb> echo on
Command echo enabled.
+mdb> context none
+Contexts will not be printed.
mdb> register --quiet
mdb> 10 step
Pure Prolog Interpreter.
@@ -16,27 +18,26 @@
HeadVar__4 state('<<c_pointer>>')
mdb> goto 30
Consulting file `interpreter.m'...
- 30: 17 9 CALL pred tree234:set2/4-1 (det)
+ 30: 14 6 EXIT pred interpreter:database_assert_clause/4-0 (det)
mdb> print *
- HeadVar__1 two('<<c_pointer>>', "<standard input>", empty, empty)
- HeadVar__2 '<<c_pointer>>'
- HeadVar__3 "interpreter.m"
+ HeadVar__1 []
+ HeadVar__2 varset(var_supply(0), empty, empty)
+ HeadVar__3 functor(atom(":-"), .(functor(atom/1, ./2, context/2), []), context("interpreter.m", 22))
+ HeadVar__4 .(clause(varset(var_supply/1, empty, empty), functor(atom/1, ./2, context/2), functor(atom/1, [], context/2)), [])
mdb> finish -a
- 31: 17 9 THEN pred tree234:set2/4-1 (det) c2;t;
- 32: 17 9 SWTC pred tree234:set2/4-1 (det) c2;t;c2;s1;
- 33: 17 9 EXIT pred tree234:set2/4-1 (det)
+This command is a no-op from this port.
mdb> print *
- HeadVar__1 two('<<c_pointer>>', "<standard input>", empty, empty)
- HeadVar__2 '<<c_pointer>>'
- HeadVar__3 "interpreter.m"
- HeadVar__4 three(<<c_pointer>>, "interpreter.m", <<c_pointer>>, "<standard input>", empty, empty, empty)
+ HeadVar__1 []
+ HeadVar__2 varset(var_supply(0), empty, empty)
+ HeadVar__3 functor(atom(":-"), .(functor(atom/1, ./2, context/2), []), context("interpreter.m", 22))
+ HeadVar__4 .(clause(varset(var_supply/1, empty, empty), functor(atom/1, ./2, context/2), functor(atom/1, [], context/2)), [])
mdb>
- 34: 16 8 EXIT pred tree234:set/4-1 (det)
+ 31: 16 6 CALL pred interpreter:consult_until_eof/4-0 (det)
mdb> finish -n
-This command is a no-op from this port.
+ 1009: 16 6 EXIT pred interpreter:consult_until_eof/4-0 (det)
mdb>
- 35: 15 7 EXIT pred map:set/4-1 (det)
+ 1010: 13 5 EXIT pred interpreter:consult_until_eof_2/5-0 (det)
mdb>
- 36: 18 7 CALL pred io:set_stream_names/3-0 (det)
+ 1011: 11 4 EXIT pred interpreter:consult_until_eof/4-0 (det)
mdb> continue
?-
Index: tests/debugger/multi_parameter.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/multi_parameter.exp2,v
retrieving revision 1.6
diff -u -b -r1.6 multi_parameter.exp2
--- multi_parameter.exp2 1999/10/31 22:48:11 1.6
+++ multi_parameter.exp2 1999/11/15 05:50:15
@@ -1,34 +1,43 @@
- 1: 1 1 CALL pred multi_parameter:main/2-0 (det)
+ 1: 1 1 CALL pred multi_parameter:main/2-0 (det) multi_parameter.m:24
mdb> echo on
Command echo enabled.
+mdb> context nextline
+Contexts will be printed on the next line.
mdb>
2: 2 2 CALL pred multi_parameter:foo/2-0 (det)
+ multi_parameter.m:32 (from multi_parameter.m:24)
mdb> print *
HeadVar__1 'z'
mdb>
3: 3 3 CALL pred multi_parameter:a/2-0 (det)
+ (from multi_parameter.m:32)
mdb> print *
HeadVar__1 'z'
mdb>
4: 4 4 CALL pred multi_parameter:Introduced_pred_for_multi_parameter__m__character__arity0__int__arity0______multi_parameter__a_2/2-0 (det)
+ multi_parameter.m:20
mdb> print *
HeadVar__1 'z'
mdb>
5: 5 5 CALL pred char:to_int/2-0 (det)
+ char.m:402 (from multi_parameter.m:20)
mdb> print *
Character 'z'
mdb>
6: 5 5 EXIT pred char:to_int/2-0 (det)
+ char.m:402 (from multi_parameter.m:20)
mdb> print *
Character 'z'
Int 122
mdb>
7: 4 4 EXIT pred multi_parameter:Introduced_pred_for_multi_parameter__m__character__arity0__int__arity0______multi_parameter__a_2/2-0 (det)
+ multi_parameter.m:20
mdb> print *
HeadVar__1 'z'
HeadVar__2 122
mdb>
8: 3 3 EXIT pred multi_parameter:a/2-0 (det)
+ (from multi_parameter.m:32)
mdb> print *
HeadVar__1 'z'
HeadVar__2 122
Index: tests/debugger/shallow.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/shallow.exp2,v
retrieving revision 1.1
diff -u -b -r1.1 shallow.exp2
--- shallow.exp2 1999/10/26 08:35:18 1.1
+++ shallow.exp2 1999/11/15 07:01:56
@@ -1,28 +1,10 @@
- 1: 1 1 CALL pred shallow:main/2-0 (cc_multi)
+ 1: 1 1 CALL pred shallow:main/2-0 (cc_multi) shallow.m:17
mdb> echo on
Command echo enabled.
+mdb> context before
+Contexts will be printed before, on the same line.
+mdb> context
+Contexts are printed before, on the same line.
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)
+[1, 3, 5, 2, 4]
+ 2: 1 1 EXIT shallow.m:18 pred shallow:main/2-0 (cc_multi)
cvs diff: Diffing tests/debugger/declarative
cvs diff: Diffing tests/dppd
cvs diff: Diffing tests/general
Index: tests/general/string_format_test_2.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/general/string_format_test_2.exp2,v
retrieving revision 1.4
diff -u -b -r1.4 string_format_test_2.exp2
--- string_format_test_2.exp2 1999/10/13 02:50:58 1.4
+++ string_format_test_2.exp2 1999/11/15 05:55:49
@@ -1,10 +1,10 @@
Uncaught exception:
Software Error: string__format: argument list has more elements than format string
Stack dump follows:
- 0 pred exception:throw/1-0 (erroneous)
- 1 pred require:error/1-0 (erroneous)
- 2 5* pred string:format_2/3-0 (det)
- 7 pred string:format/3-0 (det)
- 8 pred io:format/5-0 (det)
- 9 pred io:format/4-0 (det)
- 10 pred string_format_test_2:main/2-0 (det)
+ 0 pred exception:throw/1-0 (erroneous) (exception.m:278)
+ 1 pred require:error/1-0 (erroneous) (require.m:90)
+ 2 5* pred string:format_2/3-0 (det) (string.m:846 and others)
+ 7 pred string:format/3-0 (det) (string.m:803)
+ 8 pred io:format/5-0 (det) (io.m:1753)
+ 9 pred io:format/4-0 (det) (io.m:1750)
+ 10 pred string_format_test_2:main/2-0 (det) (string_format_test_2.m:13)
Index: tests/general/string_format_test_3.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/general/string_format_test_3.exp2,v
retrieving revision 1.4
diff -u -b -r1.4 string_format_test_3.exp2
--- string_format_test_3.exp2 1999/10/13 02:51:00 1.4
+++ string_format_test_3.exp2 1999/11/15 05:55:52
@@ -1,10 +1,10 @@
Uncaught exception:
Software Error: string__format: argument list has fewer elements than format string
Stack dump follows:
- 0 pred exception:throw/1-0 (erroneous)
- 1 pred require:error/1-0 (erroneous)
- 2 pred string:format_2/3-0 (det)
- 3 pred string:format/3-0 (det)
- 4 pred io:format/5-0 (det)
- 5 pred io:format/4-0 (det)
- 6 pred string_format_test_3:main/2-0 (det)
+ 0 pred exception:throw/1-0 (erroneous) (exception.m:278)
+ 1 pred require:error/1-0 (erroneous) (require.m:90)
+ 2 pred string:format_2/3-0 (det) (string.m:846)
+ 3 pred string:format/3-0 (det) (string.m:803)
+ 4 pred io:format/5-0 (det) (io.m:1753)
+ 5 pred io:format/4-0 (det) (io.m:1750)
+ 6 pred string_format_test_3:main/2-0 (det) (string_format_test_3.m:13)
cvs diff: Diffing tests/general/accumulator
cvs diff: Diffing tests/hard_coded
Index: tests/hard_coded/no_fully_strict.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/no_fully_strict.exp2,v
retrieving revision 1.4
diff -u -b -r1.4 no_fully_strict.exp2
--- no_fully_strict.exp2 1999/10/13 04:13:35 1.4
+++ no_fully_strict.exp2 1999/11/15 06:15:44
@@ -1,6 +1,6 @@
Uncaught exception:
Software Error: oops
Stack dump follows:
- 0 pred exception:throw/1-0 (erroneous)
- 1 pred require:error/1-0 (erroneous)
- 2 pred no_fully_strict:main/2-0 (det)
+ 0 pred exception:throw/1-0 (erroneous) (exception.m:278)
+ 1 pred require:error/1-0 (erroneous) (require.m:90)
+ 2 pred no_fully_strict:main/2-0 (det) (no_fully_strict.m:12)
cvs diff: Diffing tests/hard_coded/exceptions
Index: tests/hard_coded/exceptions/test_uncaught_exception.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/exceptions/test_uncaught_exception.exp2,v
retrieving revision 1.1
diff -u -b -r1.1 test_uncaught_exception.exp2
--- test_uncaught_exception.exp2 1999/08/31 12:57:21 1.1
+++ test_uncaught_exception.exp2 1999/11/15 05:56:20
@@ -1,5 +1,5 @@
Uncaught exception:
"<exception thrown from main>"
Stack dump follows:
- 0 pred exception:throw/1-0 (erroneous)
- 1 pred test_uncaught_exception:main/2-0 (cc_multi)
+ 0 pred exception:throw/1-0 (erroneous) (exception.m:278)
+ 1 pred test_uncaught_exception:main/2-0 (cc_multi) (test_uncaught_exception.m:25)
cvs diff: Diffing tests/hard_coded/sub-modules
cvs diff: Diffing tests/hard_coded/typeclasses
cvs diff: Diffing tests/invalid
cvs diff: Diffing tests/misc_tests
cvs diff: Diffing tests/tabling
Index: tests/tabling/loopcheck.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/loopcheck.exp2,v
retrieving revision 1.1
diff -u -b -r1.1 loopcheck.exp2
--- loopcheck.exp2 1999/10/29 06:53:50 1.1
+++ loopcheck.exp2 1999/11/15 06:28:39
@@ -1,7 +1,7 @@
Uncaught exception:
Software Error: detected infinite recursion in pred loopcheck:loop/1
Stack dump follows:
- 0 pred exception:throw/1-0 (erroneous)
- 1 pred require:error/1-0 (erroneous)
- 2 2* pred loopcheck:loop/1-0 (erroneous)
- 4 pred loopcheck:main/2-0 (det)
+ 0 pred exception:throw/1-0 (erroneous) (exception.m:278)
+ 1 pred require:error/1-0 (erroneous) (require.m:90)
+ 2 2* pred loopcheck:loop/1-0 (erroneous) (loopcheck.m:17)
+ 4 pred loopcheck:main/2-0 (det) (loopcheck.m:13)
cvs diff: Diffing tests/term
cvs diff: Diffing tests/valid
cvs diff: Diffing tests/warnings
cvs diff: Diffing tools
cvs diff: Diffing trace
cvs diff: Diffing trial
cvs diff: Diffing util
--------------------------------------------------------------------------
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