Download User Manual
Transcript
prefix/infix ambiguity, 234 pretty_print/2, 151 pretty printer (library), 147 print handler, 163 print/1, 96 printf/2, 91, 96, 102, 163, 164, 213 printf/3, 91, 94, 96, 163, 213 priority, 169 private heap, 202 procedure built in, 3 dynamic, 4 external, 4 functor, 6 regular, 6 simple, 6 static, 6 tool, 63 profile/1, 152 profiler (library), 148 profiling, 147, 152 program analysis, 147 program clause, 5 Prolog, 169 prolog_suffix, 17, 44 properties module, 65 predicate, 65 propia (library), 177 put/1, 90 put/2, 90 read_directory/4, 209 read_string/3,4,5, 41 read_string/5, 90 read_term/2, 91 read_term/3, 91 read_token/2, 90, 226 read_token/3, 90, 226 readvar/3, 91, 246 real/1, 54 record/2, 64 redefinition error, 60 redefinition warning, 60 redirecting streams, 89 reexport/1, 47, 62 reference, 77, 83 regular procedure, 6 remove a spy point, 143, 258 rename/2, 209 repair (library), 177 reset_error_handlers/0, 116 reset_event_handler/1, 116 resolvent, 169 result coverage, 156 result/1, 156 retract/1, 97, 99, 102, 202 rightarrow key—move current subterm right by n positions (debugger cmd), 137 runtime system, 58 s—skip (debugger cmd), 129 Saros, 44 q—query the failure culprit (debugger cmd), schedule_suspensions/1, 183 130 schedule_suspensions/2, 183 qualified acccess, 61 scheduled suspension, 183 qualified attribute specification, 160 seek/2, 92, 93 query, 5, 13, 15 SEPIA, 1 quintus, 221 set a spy point, 143, 258 set_bounds handler, 163 rational numbers, 70 set_chtab/2, 41, 226, 235 rational/1, 54 set_event_handler/2, 112, 116, 250 rational/2, 71 set_flag/2, 11, 16, 17, 127, 202, 204, 207 raw mode, 90 set_flag/3, 125, 126, 128 read macros, 101 set_interrupt_handler/2, 119, 212 read mode, 85 set_stream/2, 6, 86, 89 read/1, 64, 85, 91, 101 set_stream_property/3, 89, 91, 92, 96 read/2, 91 set_suspension_data/3, 181 read_annotated/3, 101 266