diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix numbering scheme for functors.

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-07-19 14:45:11 +01:00
parent 143e5cd56c
commit bbc67cca67
1 changed files with 212 additions and 212 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

424
include/dswiatoms.h
View File

@ -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