From bbc67cca6783a2e30080a4c4001d1495e5bf6d54 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Mon, 19 Jul 2010 14:45:11 +0100 Subject: [PATCH] fix numbering scheme for functors. --- include/dswiatoms.h | 424 ++++++++++++++++++++++---------------------- 1 file changed, 212 insertions(+), 212 deletions(-) diff --git a/include/dswiatoms.h b/include/dswiatoms.h index 3f5da0fe0..937452170 100644 --- a/include/dswiatoms.h +++ b/include/dswiatoms.h @@ -644,218 +644,218 @@ #define ATOM_yfx 1275 #define ATOM_yfy 1277 #define ATOM_zero_divisor 1279 -#define FUNCTOR_abs1 1 -#define FUNCTOR_access1 3 -#define FUNCTOR_acos1 5 -#define FUNCTOR_alias1 7 -#define FUNCTOR_and2 9 -#define FUNCTOR_ar_equals2 11 -#define FUNCTOR_ar_not_equal2 13 -#define FUNCTOR_asin1 15 -#define FUNCTOR_assert1 17 -#define FUNCTOR_asserta1 19 -#define FUNCTOR_atan1 21 -#define FUNCTOR_atan2 23 -#define FUNCTOR_atom1 25 -#define FUNCTOR_att3 27 -#define FUNCTOR_backslash1 29 -#define FUNCTOR_bar2 31 -#define FUNCTOR_bitor2 33 -#define FUNCTOR_bom1 35 -#define FUNCTOR_brace_term_position3 37 -#define FUNCTOR_break1 39 -#define FUNCTOR_break2 41 -#define FUNCTOR_break3 43 -#define FUNCTOR_buffer1 45 -#define FUNCTOR_buffer_size1 47 -#define FUNCTOR_busy2 49 -#define FUNCTOR_bw_xor2 51 -#define FUNCTOR_call1 53 -#define FUNCTOR_callpred2 55 -#define FUNCTOR_catch3 57 -#define FUNCTOR_ceil1 59 -#define FUNCTOR_ceiling1 61 -#define FUNCTOR_chars1 63 -#define FUNCTOR_chars2 65 -#define FUNCTOR_clause1 67 -#define FUNCTOR_close_on_abort1 69 -#define FUNCTOR_codes1 71 -#define FUNCTOR_codes2 73 -#define FUNCTOR_colon2 75 -#define FUNCTOR_comma2 77 -#define FUNCTOR_context2 79 -#define FUNCTOR_cos1 81 -#define FUNCTOR_cputime0 83 -#define FUNCTOR_curl1 85 -#define FUNCTOR_cut_call1 87 -#define FUNCTOR_cut_exit1 89 -#define FUNCTOR_dand2 91 -#define FUNCTOR_date3 93 -#define FUNCTOR_date9 95 -#define FUNCTOR_dc_call_prolog0 97 -#define FUNCTOR_dcall1 99 -#define FUNCTOR_dcut1 101 -#define FUNCTOR_dde_error2 103 -#define FUNCTOR_debugging1 105 -#define FUNCTOR_detached1 107 -#define FUNCTOR_dexit2 109 -#define FUNCTOR_dforeign_registered2 111 -#define FUNCTOR_dgarbage_collect1 113 -#define FUNCTOR_div2 115 -#define FUNCTOR_divide2 117 -#define FUNCTOR_dmessage_queue1 119 -#define FUNCTOR_dmutex1 121 -#define FUNCTOR_domain_error2 123 -#define FUNCTOR_dot2 125 -#define FUNCTOR_doublestar2 127 -#define FUNCTOR_dprof_node1 129 -#define FUNCTOR_drecover_and_rethrow2 131 -#define FUNCTOR_dstream1 133 -#define FUNCTOR_dthread_init0 135 -#define FUNCTOR_dthrow1 137 -#define FUNCTOR_dtime2 139 -#define FUNCTOR_dvard1 141 -#define FUNCTOR_dwakeup1 143 -#define FUNCTOR_e0 145 -#define FUNCTOR_encoding1 147 -#define FUNCTOR_end_of_stream1 149 -#define FUNCTOR_eof_action1 151 -#define FUNCTOR_epsilon0 153 -#define FUNCTOR_equals2 155 -#define FUNCTOR_erased1 157 -#define FUNCTOR_error2 159 -#define FUNCTOR_eval1 161 -#define FUNCTOR_evaluation_error1 163 -#define FUNCTOR_exception1 165 -#define FUNCTOR_exception3 167 -#define FUNCTOR_existence_error2 169 -#define FUNCTOR_exited1 171 -#define FUNCTOR_exp1 173 -#define FUNCTOR_exports1 175 -#define FUNCTOR_external_exception1 177 -#define FUNCTOR_fail0 179 -#define FUNCTOR_failure_error1 181 -#define FUNCTOR_file1 183 -#define FUNCTOR_file4 185 -#define FUNCTOR_file_name1 187 -#define FUNCTOR_file_no1 189 -#define FUNCTOR_float1 191 -#define FUNCTOR_float_fractional_part1 193 -#define FUNCTOR_float_integer_part1 195 -#define FUNCTOR_floor1 197 -#define FUNCTOR_foreign_function1 199 -#define FUNCTOR_frame3 201 -#define FUNCTOR_frame_finished1 203 -#define FUNCTOR_gcd2 205 -#define FUNCTOR_goal_expansion2 207 -#define FUNCTOR_ground1 209 -#define FUNCTOR_hat2 211 -#define FUNCTOR_ifthen2 213 -#define FUNCTOR_input0 215 -#define FUNCTOR_integer1 217 -#define FUNCTOR_interrupt1 219 -#define FUNCTOR_io_error2 221 -#define FUNCTOR_is2 223 -#define FUNCTOR_isovar1 225 -#define FUNCTOR_larger2 227 -#define FUNCTOR_larger_equal2 229 -#define FUNCTOR_line_count1 231 -#define FUNCTOR_list_position4 233 -#define FUNCTOR_listing1 235 -#define FUNCTOR_locked2 237 -#define FUNCTOR_log1 239 -#define FUNCTOR_log101 241 -#define FUNCTOR_lsb1 243 -#define FUNCTOR_lshift2 245 -#define FUNCTOR_max2 247 -#define FUNCTOR_max_size1 249 -#define FUNCTOR_message_lines1 251 -#define FUNCTOR_min2 253 -#define FUNCTOR_minus1 255 -#define FUNCTOR_minus2 257 -#define FUNCTOR_mod2 259 -#define FUNCTOR_mode1 261 -#define FUNCTOR_msb1 263 -#define FUNCTOR_newline1 265 -#define FUNCTOR_nlink1 267 -#define FUNCTOR_nonvar1 269 -#define FUNCTOR_not_implemented2 271 -#define FUNCTOR_not_provable1 273 -#define FUNCTOR_occurs_check2 275 -#define FUNCTOR_or1 277 -#define FUNCTOR_output0 279 -#define FUNCTOR_permission_error3 281 -#define FUNCTOR_pi0 283 -#define FUNCTOR_pipe1 285 -#define FUNCTOR_plus1 287 -#define FUNCTOR_plus2 289 -#define FUNCTOR_popcount1 291 -#define FUNCTOR_portray1 293 -#define FUNCTOR_position1 295 -#define FUNCTOR_powm3 297 -#define FUNCTOR_print1 299 -#define FUNCTOR_print_message2 301 -#define FUNCTOR_procedure2 303 -#define FUNCTOR_prove1 305 -#define FUNCTOR_prove2 307 -#define FUNCTOR_punct2 309 -#define FUNCTOR_random1 311 -#define FUNCTOR_rational1 313 -#define FUNCTOR_rationalize1 315 -#define FUNCTOR_rdiv2 317 -#define FUNCTOR_rem2 319 -#define FUNCTOR_reposition1 321 -#define FUNCTOR_representation_error1 323 -#define FUNCTOR_representation_errors1 325 -#define FUNCTOR_resource_error1 327 -#define FUNCTOR_retry1 329 -#define FUNCTOR_round1 331 -#define FUNCTOR_rshift2 333 -#define FUNCTOR_semicolon2 335 -#define FUNCTOR_setup_call_catcher_cleanup4 337 -#define FUNCTOR_shared_object2 339 -#define FUNCTOR_shell2 341 -#define FUNCTOR_sign1 343 -#define FUNCTOR_signal1 345 -#define FUNCTOR_signal2 347 -#define FUNCTOR_sin1 349 -#define FUNCTOR_singletons1 351 -#define FUNCTOR_size1 353 -#define FUNCTOR_smaller2 355 -#define FUNCTOR_smaller_equal2 357 -#define FUNCTOR_softcut2 359 -#define FUNCTOR_spy1 361 -#define FUNCTOR_sqrt1 363 -#define FUNCTOR_star2 365 -#define FUNCTOR_status1 367 -#define FUNCTOR_stream4 369 -#define FUNCTOR_stream_position4 371 -#define FUNCTOR_strict_equal2 373 -#define FUNCTOR_string1 375 -#define FUNCTOR_string2 377 -#define FUNCTOR_string_position2 379 -#define FUNCTOR_syntax_error1 381 -#define FUNCTOR_syntax_error3 383 -#define FUNCTOR_tan1 385 -#define FUNCTOR_term_expansion2 387 -#define FUNCTOR_term_position5 389 -#define FUNCTOR_timeout1 391 -#define FUNCTOR_timeout_error2 393 -#define FUNCTOR_trace1 395 -#define FUNCTOR_traceinterc3 397 -#define FUNCTOR_tracing1 399 -#define FUNCTOR_true0 401 -#define FUNCTOR_truncate1 403 -#define FUNCTOR_tty1 405 -#define FUNCTOR_type1 407 -#define FUNCTOR_type_error2 409 -#define FUNCTOR_undefinterc4 411 -#define FUNCTOR_unify_determined2 413 -#define FUNCTOR_var1 415 -#define FUNCTOR_wakeup3 417 -#define FUNCTOR_warning3 419 -#define FUNCTOR_xor2 421 -#define FUNCTOR_xpceref1 423 +#define FUNCTOR_abs1 2 +#define FUNCTOR_access1 6 +#define FUNCTOR_acos1 10 +#define FUNCTOR_alias1 14 +#define FUNCTOR_and2 18 +#define FUNCTOR_ar_equals2 22 +#define FUNCTOR_ar_not_equal2 26 +#define FUNCTOR_asin1 30 +#define FUNCTOR_assert1 34 +#define FUNCTOR_asserta1 38 +#define FUNCTOR_atan1 42 +#define FUNCTOR_atan2 46 +#define FUNCTOR_atom1 50 +#define FUNCTOR_att3 54 +#define FUNCTOR_backslash1 58 +#define FUNCTOR_bar2 62 +#define FUNCTOR_bitor2 66 +#define FUNCTOR_bom1 70 +#define FUNCTOR_brace_term_position3 74 +#define FUNCTOR_break1 78 +#define FUNCTOR_break2 82 +#define FUNCTOR_break3 86 +#define FUNCTOR_buffer1 90 +#define FUNCTOR_buffer_size1 94 +#define FUNCTOR_busy2 98 +#define FUNCTOR_bw_xor2 102 +#define FUNCTOR_call1 106 +#define FUNCTOR_callpred2 110 +#define FUNCTOR_catch3 114 +#define FUNCTOR_ceil1 118 +#define FUNCTOR_ceiling1 122 +#define FUNCTOR_chars1 126 +#define FUNCTOR_chars2 130 +#define FUNCTOR_clause1 134 +#define FUNCTOR_close_on_abort1 138 +#define FUNCTOR_codes1 142 +#define FUNCTOR_codes2 146 +#define FUNCTOR_colon2 150 +#define FUNCTOR_comma2 154 +#define FUNCTOR_context2 158 +#define FUNCTOR_cos1 162 +#define FUNCTOR_cputime0 166 +#define FUNCTOR_curl1 170 +#define FUNCTOR_cut_call1 174 +#define FUNCTOR_cut_exit1 178 +#define FUNCTOR_dand2 182 +#define FUNCTOR_date3 186 +#define FUNCTOR_date9 190 +#define FUNCTOR_dc_call_prolog0 194 +#define FUNCTOR_dcall1 198 +#define FUNCTOR_dcut1 202 +#define FUNCTOR_dde_error2 206 +#define FUNCTOR_debugging1 210 +#define FUNCTOR_detached1 214 +#define FUNCTOR_dexit2 218 +#define FUNCTOR_dforeign_registered2 222 +#define FUNCTOR_dgarbage_collect1 226 +#define FUNCTOR_div2 230 +#define FUNCTOR_divide2 234 +#define FUNCTOR_dmessage_queue1 238 +#define FUNCTOR_dmutex1 242 +#define FUNCTOR_domain_error2 246 +#define FUNCTOR_dot2 250 +#define FUNCTOR_doublestar2 254 +#define FUNCTOR_dprof_node1 258 +#define FUNCTOR_drecover_and_rethrow2 262 +#define FUNCTOR_dstream1 266 +#define FUNCTOR_dthread_init0 270 +#define FUNCTOR_dthrow1 274 +#define FUNCTOR_dtime2 278 +#define FUNCTOR_dvard1 282 +#define FUNCTOR_dwakeup1 286 +#define FUNCTOR_e0 290 +#define FUNCTOR_encoding1 294 +#define FUNCTOR_end_of_stream1 298 +#define FUNCTOR_eof_action1 302 +#define FUNCTOR_epsilon0 306 +#define FUNCTOR_equals2 310 +#define FUNCTOR_erased1 314 +#define FUNCTOR_error2 318 +#define FUNCTOR_eval1 322 +#define FUNCTOR_evaluation_error1 326 +#define FUNCTOR_exception1 330 +#define FUNCTOR_exception3 334 +#define FUNCTOR_existence_error2 338 +#define FUNCTOR_exited1 342 +#define FUNCTOR_exp1 346 +#define FUNCTOR_exports1 350 +#define FUNCTOR_external_exception1 354 +#define FUNCTOR_fail0 358 +#define FUNCTOR_failure_error1 362 +#define FUNCTOR_file1 366 +#define FUNCTOR_file4 370 +#define FUNCTOR_file_name1 374 +#define FUNCTOR_file_no1 378 +#define FUNCTOR_float1 382 +#define FUNCTOR_float_fractional_part1 386 +#define FUNCTOR_float_integer_part1 390 +#define FUNCTOR_floor1 394 +#define FUNCTOR_foreign_function1 398 +#define FUNCTOR_frame3 402 +#define FUNCTOR_frame_finished1 406 +#define FUNCTOR_gcd2 410 +#define FUNCTOR_goal_expansion2 414 +#define FUNCTOR_ground1 418 +#define FUNCTOR_hat2 422 +#define FUNCTOR_ifthen2 426 +#define FUNCTOR_input0 430 +#define FUNCTOR_integer1 434 +#define FUNCTOR_interrupt1 438 +#define FUNCTOR_io_error2 442 +#define FUNCTOR_is2 446 +#define FUNCTOR_isovar1 450 +#define FUNCTOR_larger2 454 +#define FUNCTOR_larger_equal2 458 +#define FUNCTOR_line_count1 462 +#define FUNCTOR_list_position4 466 +#define FUNCTOR_listing1 470 +#define FUNCTOR_locked2 474 +#define FUNCTOR_log1 478 +#define FUNCTOR_log101 482 +#define FUNCTOR_lsb1 486 +#define FUNCTOR_lshift2 490 +#define FUNCTOR_max2 494 +#define FUNCTOR_max_size1 498 +#define FUNCTOR_message_lines1 502 +#define FUNCTOR_min2 506 +#define FUNCTOR_minus1 510 +#define FUNCTOR_minus2 514 +#define FUNCTOR_mod2 518 +#define FUNCTOR_mode1 522 +#define FUNCTOR_msb1 526 +#define FUNCTOR_newline1 530 +#define FUNCTOR_nlink1 534 +#define FUNCTOR_nonvar1 538 +#define FUNCTOR_not_implemented2 542 +#define FUNCTOR_not_provable1 546 +#define FUNCTOR_occurs_check2 550 +#define FUNCTOR_or1 554 +#define FUNCTOR_output0 558 +#define FUNCTOR_permission_error3 562 +#define FUNCTOR_pi0 566 +#define FUNCTOR_pipe1 570 +#define FUNCTOR_plus1 574 +#define FUNCTOR_plus2 578 +#define FUNCTOR_popcount1 582 +#define FUNCTOR_portray1 586 +#define FUNCTOR_position1 590 +#define FUNCTOR_powm3 594 +#define FUNCTOR_print1 598 +#define FUNCTOR_print_message2 602 +#define FUNCTOR_procedure2 606 +#define FUNCTOR_prove1 610 +#define FUNCTOR_prove2 614 +#define FUNCTOR_punct2 618 +#define FUNCTOR_random1 622 +#define FUNCTOR_rational1 626 +#define FUNCTOR_rationalize1 630 +#define FUNCTOR_rdiv2 634 +#define FUNCTOR_rem2 638 +#define FUNCTOR_reposition1 642 +#define FUNCTOR_representation_error1 646 +#define FUNCTOR_representation_errors1 650 +#define FUNCTOR_resource_error1 654 +#define FUNCTOR_retry1 658 +#define FUNCTOR_round1 662 +#define FUNCTOR_rshift2 666 +#define FUNCTOR_semicolon2 670 +#define FUNCTOR_setup_call_catcher_cleanup4 674 +#define FUNCTOR_shared_object2 678 +#define FUNCTOR_shell2 682 +#define FUNCTOR_sign1 686 +#define FUNCTOR_signal1 690 +#define FUNCTOR_signal2 694 +#define FUNCTOR_sin1 698 +#define FUNCTOR_singletons1 702 +#define FUNCTOR_size1 706 +#define FUNCTOR_smaller2 710 +#define FUNCTOR_smaller_equal2 714 +#define FUNCTOR_softcut2 718 +#define FUNCTOR_spy1 722 +#define FUNCTOR_sqrt1 726 +#define FUNCTOR_star2 730 +#define FUNCTOR_status1 734 +#define FUNCTOR_stream4 738 +#define FUNCTOR_stream_position4 742 +#define FUNCTOR_strict_equal2 746 +#define FUNCTOR_string1 750 +#define FUNCTOR_string2 754 +#define FUNCTOR_string_position2 758 +#define FUNCTOR_syntax_error1 762 +#define FUNCTOR_syntax_error3 766 +#define FUNCTOR_tan1 770 +#define FUNCTOR_term_expansion2 774 +#define FUNCTOR_term_position5 778 +#define FUNCTOR_timeout1 782 +#define FUNCTOR_timeout_error2 786 +#define FUNCTOR_trace1 790 +#define FUNCTOR_traceinterc3 794 +#define FUNCTOR_tracing1 798 +#define FUNCTOR_true0 802 +#define FUNCTOR_truncate1 806 +#define FUNCTOR_tty1 810 +#define FUNCTOR_type1 814 +#define FUNCTOR_type_error2 818 +#define FUNCTOR_undefinterc4 822 +#define FUNCTOR_unify_determined2 826 +#define FUNCTOR_var1 830 +#define FUNCTOR_wakeup3 834 +#define FUNCTOR_warning3 838 +#define FUNCTOR_xor2 842 +#define FUNCTOR_xpceref1 846 #define N_SWI_ATOMS 640