diff --git a/C/absmi.c b/C/absmi.c index 4f0ec8df2..c63851073 100755 --- a/C/absmi.c +++ b/C/absmi.c @@ -1861,6 +1861,7 @@ Yap_absmi(int inp) #else B = B->cp_b; #endif /* YAPOR */ + goto fail; ENDBOp(); #ifdef YAPOR diff --git a/docs/yap.tex b/docs/yap.tex index c12bf17e7..f8a6d838e 100644 --- a/docs/yap.tex +++ b/docs/yap.tex @@ -16795,6 +16795,16 @@ Notice that this function returns a term, and not an atom. You can @section Miscellaneous C Functions @table @code +@item @code{void} YAP_Throw(@code{YAP_Term exception}) +@item @code{void} YAP_AsyncThrow(@code{YAP_Term exception}) +@findex YAP_Throw (C-Interface function) +@findex YAP_AsyncThrow (C-Interface function) + +Throw an exception with term @var{exception}, just like if you called +@code{throw/2}. The function @t{YAP_AsyncThrow} is supposed to be used +from interrupt handlers. +@c See also @code{at_halt/1}. + @item @code{int} YAP_SetYAPFlag(@code{yap_flag_t flag, int value}) @findex YAP_SetYAPFlag (C-Interface function) @@ -16811,6 +16821,7 @@ function is called with two arguments: the exit code of the process (@code{0} if this cannot be determined on your operating system) and the closure argument @var{closure}. @c See also @code{at_halt/1}. + @end table diff --git a/include/dswiatoms.h b/include/dswiatoms.h index 937452170..88cff406b 100644 --- a/include/dswiatoms.h +++ b/include/dswiatoms.h @@ -4,858 +4,858 @@ and is based on SWIATOMS, copied from the SWI-Prolog distribution please do not update */ -#define ATOM_abort 1 -#define ATOM_aborted 3 -#define ATOM_abs 5 -#define ATOM_access 7 -#define ATOM_acos 9 -#define ATOM_acyclic_term 11 -#define ATOM_add_import 13 -#define ATOM_address 15 -#define ATOM_agc 17 -#define ATOM_agc_gained 19 -#define ATOM_agc_margin 21 -#define ATOM_agc_time 23 -#define ATOM_alias 25 -#define ATOM_allow_variable_name_as_functor 27 -#define ATOM_alnum 29 -#define ATOM_alpha 31 -#define ATOM_alternative 33 -#define ATOM_and 35 -#define ATOM_anonvar 37 -#define ATOM_append 39 -#define ATOM_ar_equals 41 -#define ATOM_ar_not_equal 43 -#define ATOM_argument 45 -#define ATOM_argumentlimit 47 -#define ATOM_as 49 -#define ATOM_ascii 51 -#define ATOM_asin 53 -#define ATOM_assert 55 -#define ATOM_asserta 57 -#define ATOM_at 59 -#define ATOM_at_equals 61 -#define ATOM_at_exit 63 -#define ATOM_at_larger 65 -#define ATOM_at_larger_eq 67 -#define ATOM_at_not_equals 69 -#define ATOM_at_smaller 71 -#define ATOM_at_smaller_eq 73 -#define ATOM_atan 75 -#define ATOM_atom 77 -#define ATOM_atom_garbage_collection 79 -#define ATOM_atomic 81 -#define ATOM_atoms 83 -#define ATOM_att 85 -#define ATOM_attributes 87 -#define ATOM_attvar 89 -#define ATOM_autoload 91 -#define ATOM_backquoted_string 93 -#define ATOM_backslash 95 -#define ATOM_backtrace 97 -#define ATOM_bar 99 -#define ATOM_begin 101 -#define ATOM_binary 103 -#define ATOM_bind 105 -#define ATOM_bitor 107 -#define ATOM_bof 109 -#define ATOM_bom 111 -#define ATOM_bool 113 -#define ATOM_boolean 115 -#define ATOM_brace_term_position 117 -#define ATOM_break 119 -#define ATOM_btree 121 -#define ATOM_buffer 123 -#define ATOM_buffer_size 125 -#define ATOM_built_in_procedure 127 -#define ATOM_busy 129 -#define ATOM_bw_xor 131 -#define ATOM_byte 133 -#define ATOM_call 135 -#define ATOM_callable 137 -#define ATOM_callpred 139 -#define ATOM_canceled 141 -#define ATOM_case_sensitive_file_names 143 -#define ATOM_catch 145 -#define ATOM_ceil 147 -#define ATOM_ceiling 149 -#define ATOM_char_type 151 -#define ATOM_character 153 -#define ATOM_character_code 155 -#define ATOM_character_escapes 157 -#define ATOM_chars 159 -#define ATOM_chdir 161 -#define ATOM_chmod 163 -#define ATOM_choice 165 -#define ATOM_clause 167 -#define ATOM_clause_reference 169 -#define ATOM_close 171 -#define ATOM_close_on_abort 173 -#define ATOM_close_option 175 -#define ATOM_cm 177 -#define ATOM_cntrl 179 -#define ATOM_co 181 -#define ATOM_codes 183 -#define ATOM_collected 185 -#define ATOM_collections 187 -#define ATOM_colon 189 -#define ATOM_comma 191 -#define ATOM_comments 193 -#define ATOM_compound 195 -#define ATOM_context 197 -#define ATOM_context_module 199 -#define ATOM_continue 201 -#define ATOM_core 203 -#define ATOM_core_left 205 -#define ATOM_cos 207 -#define ATOM_cputime 209 -#define ATOM_create 211 -#define ATOM_csym 213 -#define ATOM_csymf 215 -#define ATOM_cumulative 217 -#define ATOM_curl 219 -#define ATOM_current 221 -#define ATOM_current_input 223 -#define ATOM_current_output 225 -#define ATOM_cut 227 -#define ATOM_cut_call 229 -#define ATOM_cut_exit 231 -#define ATOM_cut_parent 233 -#define ATOM_cutted 235 -#define ATOM_cyclic_term 237 -#define ATOM_dand 239 -#define ATOM_date 241 -#define ATOM_db_reference 243 -#define ATOM_dc_call_prolog 245 -#define ATOM_dcall 247 -#define ATOM_dcall_cleanup 249 -#define ATOM_dcatch 251 -#define ATOM_dcut 253 -#define ATOM_dde_error 255 -#define ATOM_dde_handle 257 -#define ATOM_debug 259 -#define ATOM_debug_on_error 261 -#define ATOM_debugger_print_options 263 -#define ATOM_debugger_show_context 265 -#define ATOM_debugging 267 -#define ATOM_dec10 269 -#define ATOM_default 271 -#define ATOM_defined 273 -#define ATOM_delete 275 -#define ATOM_depth_limit_exceeded 277 -#define ATOM_destroy 279 -#define ATOM_detached 281 -#define ATOM_detect 283 -#define ATOM_development 285 -#define ATOM_dexit 287 -#define ATOM_dforeign_registered 289 -#define ATOM_dgarbage_collect 291 -#define ATOM_digit 293 -#define ATOM_directory 295 -#define ATOM_discontiguous 297 -#define ATOM_div 299 -#define ATOM_divide 301 -#define ATOM_dload 303 -#define ATOM_dmessage_queue 305 -#define ATOM_dmutex 307 -#define ATOM_domain_error 309 -#define ATOM_dos 311 -#define ATOM_dot 313 -#define ATOM_dots 315 -#define ATOM_double_quotes 317 -#define ATOM_doublestar 319 -#define ATOM_dprof_node 321 -#define ATOM_drecover_and_rethrow 323 -#define ATOM_dstream 325 -#define ATOM_dthread_init 327 -#define ATOM_dthrow 329 -#define ATOM_dtime 331 -#define ATOM_dvard 333 -#define ATOM_dwakeup 335 -#define ATOM_dynamic 337 -#define ATOM_e 339 -#define ATOM_encoding 341 -#define ATOM_end 343 -#define ATOM_end_of_file 345 -#define ATOM_end_of_line 347 -#define ATOM_end_of_stream 349 -#define ATOM_environment 351 -#define ATOM_eof 353 -#define ATOM_eof_action 355 -#define ATOM_eof_code 357 -#define ATOM_epsilon 359 -#define ATOM_equal 361 -#define ATOM_equals 363 -#define ATOM_erase 365 -#define ATOM_erased 367 -#define ATOM_error 369 -#define ATOM_eval 371 -#define ATOM_evaluable 373 -#define ATOM_evaluation_error 375 -#define ATOM_exception 377 -#define ATOM_exclusive 379 -#define ATOM_execute 381 -#define ATOM_exist 383 -#define ATOM_existence_error 385 -#define ATOM_exit 387 -#define ATOM_exited 389 -#define ATOM_exp 391 -#define ATOM_export 393 -#define ATOM_exported 395 -#define ATOM_exports 397 -#define ATOM_expression 399 -#define ATOM_external_exception 401 -#define ATOM_externals 403 -#define ATOM_fact 405 -#define ATOM_factor 407 -#define ATOM_fail 409 -#define ATOM_failure_error 411 -#define ATOM_false 413 -#define ATOM_feature 415 -#define ATOM_file 417 -#define ATOM_file_name 419 -#define ATOM_file_name_variables 421 -#define ATOM_file_no 423 -#define ATOM_flag 425 -#define ATOM_flag_value 427 -#define ATOM_float 429 -#define ATOM_float_format 431 -#define ATOM_float_fractional_part 433 -#define ATOM_float_integer_part 435 -#define ATOM_float_overflow 437 -#define ATOM_float_underflow 439 -#define ATOM_floor 441 -#define ATOM_force 443 -#define ATOM_foreign 445 -#define ATOM_foreign_function 447 -#define ATOM_foreign_return_value 449 -#define ATOM_fork 451 -#define ATOM_frame 453 -#define ATOM_frame_attribute 455 -#define ATOM_frame_finished 457 -#define ATOM_frame_reference 459 -#define ATOM_free_of_attvar 461 -#define ATOM_freeze 463 -#define ATOM_full 465 -#define ATOM_functor_name 467 -#define ATOM_functors 469 -#define ATOM_fx 471 -#define ATOM_fy 473 -#define ATOM_garbage_collected 475 -#define ATOM_garbage_collection 477 -#define ATOM_gc 479 -#define ATOM_gcd 481 -#define ATOM_gctime 483 -#define ATOM_getcwd 485 -#define ATOM_global 487 -#define ATOM_global_shifts 489 -#define ATOM_global_stack 491 -#define ATOM_globallimit 493 -#define ATOM_globalused 495 -#define ATOM_goal 497 -#define ATOM_goal_expansion 499 -#define ATOM_grammar 501 -#define ATOM_graph 503 -#define ATOM_ground 505 -#define ATOM_gvar 507 -#define ATOM_halt 509 -#define ATOM_has_alternatives 511 -#define ATOM_hash 513 -#define ATOM_hashed 515 -#define ATOM_hat 517 -#define ATOM_heap 519 -#define ATOM_heaplimit 521 -#define ATOM_heapused 523 -#define ATOM_help 525 -#define ATOM_hidden 527 -#define ATOM_hide_childs 529 -#define ATOM_history_depth 531 -#define ATOM_ifthen 533 -#define ATOM_ignore 535 -#define ATOM_ignore_ops 537 -#define ATOM_imported 539 -#define ATOM_imported_procedure 541 -#define ATOM_index 543 -#define ATOM_indexed 545 -#define ATOM_inf 547 -#define ATOM_inferences 549 -#define ATOM_infinite 551 -#define ATOM_informational 553 -#define ATOM_init_file 555 -#define ATOM_initialization 557 -#define ATOM_input 559 -#define ATOM_inserted_char 561 -#define ATOM_instantiation_error 563 -#define ATOM_int 565 -#define ATOM_int64_t 567 -#define ATOM_int_overflow 569 -#define ATOM_integer 571 -#define ATOM_integer_expression 573 -#define ATOM_interrupt 575 -#define ATOM_io_error 577 -#define ATOM_io_mode 579 -#define ATOM_ioctl 581 -#define ATOM_is 583 -#define ATOM_iso 585 -#define ATOM_iso_latin_1 587 -#define ATOM_isovar 589 -#define ATOM_join 591 -#define ATOM_jump 593 -#define ATOM_kernel 595 -#define ATOM_key 597 -#define ATOM_larger 599 -#define ATOM_larger_equal 601 -#define ATOM_level 603 -#define ATOM_li 605 -#define ATOM_limit 607 -#define ATOM_line 609 -#define ATOM_line_count 611 -#define ATOM_list 613 -#define ATOM_list_position 615 -#define ATOM_listing 617 -#define ATOM_local 619 -#define ATOM_local_shifts 621 -#define ATOM_local_stack 623 -#define ATOM_locale 625 -#define ATOM_locallimit 627 -#define ATOM_localused 629 -#define ATOM_lock 631 -#define ATOM_locked 633 -#define ATOM_log 635 -#define ATOM_log10 637 -#define ATOM_long 639 -#define ATOM_low 641 -#define ATOM_lower 643 -#define ATOM_lsb 645 -#define ATOM_lshift 647 -#define ATOM_main 649 -#define ATOM_mark 651 -#define ATOM_matches 653 -#define ATOM_max 655 -#define ATOM_max_arity 657 -#define ATOM_max_dde_handles 659 -#define ATOM_max_depth 661 -#define ATOM_max_files 663 -#define ATOM_max_frame_size 665 -#define ATOM_max_path_length 667 -#define ATOM_max_size 669 -#define ATOM_max_variable_length 671 -#define ATOM_memory 673 -#define ATOM_message 675 -#define ATOM_message_lines 677 -#define ATOM_message_queue 679 -#define ATOM_message_queue_property 681 -#define ATOM_meta_argument 683 -#define ATOM_meta_argument_specifier 685 -#define ATOM_meta_predicate 687 -#define ATOM_min 689 -#define ATOM_min_free 691 -#define ATOM_minus 693 -#define ATOM_mismatched_char 695 -#define ATOM_mod 697 -#define ATOM_mode 699 -#define ATOM_modify 701 -#define ATOM_module 703 -#define ATOM_module_property 705 -#define ATOM_module_transparent 707 -#define ATOM_modules 709 -#define ATOM_msb 711 -#define ATOM_multifile 713 -#define ATOM_mutex 715 -#define ATOM_mutex_option 717 -#define ATOM_mutex_property 719 -#define ATOM_natural 721 -#define ATOM_newline 723 -#define ATOM_next_argument 725 -#define ATOM_nil 727 -#define ATOM_nlink 729 -#define ATOM_no_memory 731 -#define ATOM_nodebug 733 -#define ATOM_non_empty_list 735 -#define ATOM_none 737 -#define ATOM_nonvar 739 -#define ATOM_noprofile 741 -#define ATOM_normal 743 -#define ATOM_not 745 -#define ATOM_not_equals 747 -#define ATOM_not_implemented 749 -#define ATOM_not_less_than_one 751 -#define ATOM_not_less_than_zero 753 -#define ATOM_not_provable 755 -#define ATOM_not_strickt_equals 757 -#define ATOM_not_unique 759 -#define ATOM_number 761 -#define ATOM_number_of_clauses 763 -#define ATOM_numbervar_option 765 -#define ATOM_numbervars 767 -#define ATOM_occurs_check 769 -#define ATOM_octet 771 -#define ATOM_off 773 -#define ATOM_on 775 -#define ATOM_open 777 -#define ATOM_operator 779 -#define ATOM_operator_priority 781 -#define ATOM_operator_specifier 783 -#define ATOM_optimise 785 -#define ATOM_or 787 -#define ATOM_order 789 -#define ATOM_output 791 -#define ATOM_pair 793 -#define ATOM_paren 795 -#define ATOM_parent 797 -#define ATOM_parent_goal 799 -#define ATOM_partial 801 -#define ATOM_past 803 -#define ATOM_past_end_of_stream 805 -#define ATOM_pattern 807 -#define ATOM_pc 809 -#define ATOM_period 811 -#define ATOM_permission_error 813 -#define ATOM_pi 815 -#define ATOM_pipe 817 -#define ATOM_plain 819 -#define ATOM_plus 821 -#define ATOM_popcount 823 -#define ATOM_portray 825 -#define ATOM_position 827 -#define ATOM_posix 829 -#define ATOM_powm 831 -#define ATOM_predicate_indicator 833 -#define ATOM_predicates 835 -#define ATOM_print 837 -#define ATOM_print_message 839 -#define ATOM_priority 841 -#define ATOM_private_procedure 843 -#define ATOM_procedure 845 -#define ATOM_profile_mode 847 -#define ATOM_profile_no_cpu_time 849 -#define ATOM_profile_node 851 -#define ATOM_program 853 -#define ATOM_program_counter 855 -#define ATOM_prolog 857 -#define ATOM_prolog_flag 859 -#define ATOM_prolog_flag_access 861 -#define ATOM_prolog_flag_option 863 -#define ATOM_prolog_flag_type 865 -#define ATOM_prompt 867 -#define ATOM_property 869 -#define ATOM_protocol 871 -#define ATOM_prove 873 -#define ATOM_punct 875 -#define ATOM_query 877 -#define ATOM_question_mark 879 -#define ATOM_queue_option 881 -#define ATOM_quiet 883 -#define ATOM_quote 885 -#define ATOM_quoted 887 -#define ATOM_radix 889 -#define ATOM_random 891 -#define ATOM_random_option 893 -#define ATOM_rational 895 -#define ATOM_rationalize 897 -#define ATOM_rdiv 899 -#define ATOM_read 901 -#define ATOM_read_only 903 -#define ATOM_read_option 905 -#define ATOM_read_write 907 -#define ATOM_readline 909 -#define ATOM_real_time 911 -#define ATOM_receiver 913 -#define ATOM_record 915 -#define ATOM_record_position 917 -#define ATOM_redefine 919 -#define ATOM_redo 921 -#define ATOM_references 923 -#define ATOM_rem 925 -#define ATOM_rename 927 -#define ATOM_report_error 929 -#define ATOM_reposition 931 -#define ATOM_representation_error 933 -#define ATOM_representation_errors 935 -#define ATOM_reset 937 -#define ATOM_resource_error 939 -#define ATOM_resource_handle 941 -#define ATOM_retry 943 -#define ATOM_round 945 -#define ATOM_rshift 947 -#define ATOM_running 949 -#define ATOM_runtime 951 -#define ATOM_save_class 953 -#define ATOM_save_option 955 -#define ATOM_seed 957 -#define ATOM_seek_method 959 -#define ATOM_select 961 -#define ATOM_semicolon 963 -#define ATOM_separated 965 -#define ATOM_set 967 -#define ATOM_setup_call_catcher_cleanup 969 -#define ATOM_shared 971 -#define ATOM_shared_object 973 -#define ATOM_shared_object_handle 975 -#define ATOM_shell 977 -#define ATOM_sign 979 -#define ATOM_signal 981 -#define ATOM_signal_handler 983 -#define ATOM_silent 985 -#define ATOM_sin 987 -#define ATOM_singletons 989 -#define ATOM_size 991 -#define ATOM_size_t 993 -#define ATOM_skip 995 -#define ATOM_smaller 997 -#define ATOM_smaller_equal 999 -#define ATOM_softcut 1001 -#define ATOM_source_sink 1003 -#define ATOM_space 1005 -#define ATOM_spacing 1007 -#define ATOM_spare 1009 -#define ATOM_spy 1011 -#define ATOM_sqrt 1013 -#define ATOM_stack 1015 -#define ATOM_stack_parameter 1017 -#define ATOM_stack_shifts 1019 -#define ATOM_stacks 1021 -#define ATOM_stand_alone 1023 -#define ATOM_standard 1025 -#define ATOM_star 1027 -#define ATOM_start 1029 -#define ATOM_stat 1031 -#define ATOM_static_procedure 1033 -#define ATOM_statistics 1035 -#define ATOM_status 1037 -#define ATOM_stderr 1039 -#define ATOM_stream 1041 -#define ATOM_stream_option 1043 -#define ATOM_stream_or_alias 1045 -#define ATOM_stream_pair 1047 -#define ATOM_stream_position 1049 -#define ATOM_stream_property 1051 -#define ATOM_strict_equal 1053 -#define ATOM_string 1055 -#define ATOM_string_position 1057 -#define ATOM_subterm_positions 1059 -#define ATOM_suffix 1061 -#define ATOM_syntax_error 1063 -#define ATOM_syntax_errors 1065 -#define ATOM_system 1067 -#define ATOM_system_error 1069 -#define ATOM_system_init_file 1071 -#define ATOM_system_thread_id 1073 -#define ATOM_system_time 1075 -#define ATOM_tan 1077 -#define ATOM_temporary_files 1079 -#define ATOM_term 1081 -#define ATOM_term_expansion 1083 -#define ATOM_term_position 1085 -#define ATOM_terminal 1087 -#define ATOM_terminal_capability 1089 -#define ATOM_text 1091 -#define ATOM_thread 1093 -#define ATOM_thread_cputime 1095 -#define ATOM_thread_initialization 1097 -#define ATOM_thread_local 1099 -#define ATOM_thread_local_procedure 1101 -#define ATOM_thread_option 1103 -#define ATOM_thread_property 1105 -#define ATOM_threads 1107 -#define ATOM_threads_created 1109 -#define ATOM_throw 1111 -#define ATOM_tilde 1113 -#define ATOM_time 1115 -#define ATOM_time_stamp 1117 -#define ATOM_timeout 1119 -#define ATOM_timeout_error 1121 -#define ATOM_timezone 1123 -#define ATOM_to_lower 1125 -#define ATOM_to_upper 1127 -#define ATOM_top 1129 -#define ATOM_top_level 1131 -#define ATOM_toplevel 1133 -#define ATOM_trace 1135 -#define ATOM_trace_any 1137 -#define ATOM_trace_call 1139 -#define ATOM_trace_exit 1141 -#define ATOM_trace_fail 1143 -#define ATOM_trace_gc 1145 -#define ATOM_trace_redo 1147 -#define ATOM_traceinterc 1149 -#define ATOM_tracing 1151 -#define ATOM_trail 1153 -#define ATOM_trail_shifts 1155 -#define ATOM_traillimit 1157 -#define ATOM_trailused 1159 -#define ATOM_transparent 1161 -#define ATOM_transposed_char 1163 -#define ATOM_transposed_word 1165 -#define ATOM_true 1167 -#define ATOM_truncate 1169 -#define ATOM_tty 1171 -#define ATOM_tty_control 1173 -#define ATOM_type 1175 -#define ATOM_type_error 1177 -#define ATOM_undefined 1179 -#define ATOM_undefined_global_variable 1181 -#define ATOM_undefinterc 1183 -#define ATOM_unicode_be 1185 -#define ATOM_unicode_le 1187 -#define ATOM_unify 1189 -#define ATOM_unify_determined 1191 -#define ATOM_unique 1193 -#define ATOM_univ 1195 -#define ATOM_unknown 1197 -#define ATOM_unlimited 1199 -#define ATOM_unload 1201 -#define ATOM_unlock 1203 -#define ATOM_unlocked 1205 -#define ATOM_update 1207 -#define ATOM_upper 1209 -#define ATOM_user 1211 -#define ATOM_user_error 1213 -#define ATOM_user_flags 1215 -#define ATOM_user_input 1217 -#define ATOM_user_output 1219 -#define ATOM_utc 1221 -#define ATOM_utf8 1223 -#define ATOM_v 1225 -#define ATOM_var 1227 -#define ATOM_variable 1229 -#define ATOM_variable_names 1231 -#define ATOM_variables 1233 -#define ATOM_very_deep 1235 -#define ATOM_vmi 1237 -#define ATOM_volatile 1239 -#define ATOM_wakeup 1241 -#define ATOM_walltime 1243 -#define ATOM_warning 1245 -#define ATOM_wchar_t 1247 -#define ATOM_when_condition 1249 -#define ATOM_white 1251 -#define ATOM_write 1253 -#define ATOM_write_attributes 1255 -#define ATOM_write_option 1257 -#define ATOM_xdigit 1259 -#define ATOM_xf 1261 -#define ATOM_xfx 1263 -#define ATOM_xfy 1265 -#define ATOM_xml 1267 -#define ATOM_xor 1269 -#define ATOM_xpceref 1271 -#define ATOM_yf 1273 -#define ATOM_yfx 1275 -#define ATOM_yfy 1277 -#define ATOM_zero_divisor 1279 -#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 ATOM_abort (0*2+1) +#define ATOM_aborted (1*2+1) +#define ATOM_abs (2*2+1) +#define ATOM_access (3*2+1) +#define ATOM_acos (4*2+1) +#define ATOM_acyclic_term (5*2+1) +#define ATOM_add_import (6*2+1) +#define ATOM_address (7*2+1) +#define ATOM_agc (8*2+1) +#define ATOM_agc_gained (9*2+1) +#define ATOM_agc_margin (10*2+1) +#define ATOM_agc_time (11*2+1) +#define ATOM_alias (12*2+1) +#define ATOM_allow_variable_name_as_functor (13*2+1) +#define ATOM_alnum (14*2+1) +#define ATOM_alpha (15*2+1) +#define ATOM_alternative (16*2+1) +#define ATOM_and (17*2+1) +#define ATOM_anonvar (18*2+1) +#define ATOM_append (19*2+1) +#define ATOM_ar_equals (20*2+1) +#define ATOM_ar_not_equal (21*2+1) +#define ATOM_argument (22*2+1) +#define ATOM_argumentlimit (23*2+1) +#define ATOM_as (24*2+1) +#define ATOM_ascii (25*2+1) +#define ATOM_asin (26*2+1) +#define ATOM_assert (27*2+1) +#define ATOM_asserta (28*2+1) +#define ATOM_at (29*2+1) +#define ATOM_at_equals (30*2+1) +#define ATOM_at_exit (31*2+1) +#define ATOM_at_larger (32*2+1) +#define ATOM_at_larger_eq (33*2+1) +#define ATOM_at_not_equals (34*2+1) +#define ATOM_at_smaller (35*2+1) +#define ATOM_at_smaller_eq (36*2+1) +#define ATOM_atan (37*2+1) +#define ATOM_atom (38*2+1) +#define ATOM_atom_garbage_collection (39*2+1) +#define ATOM_atomic (40*2+1) +#define ATOM_atoms (41*2+1) +#define ATOM_att (42*2+1) +#define ATOM_attributes (43*2+1) +#define ATOM_attvar (44*2+1) +#define ATOM_autoload (45*2+1) +#define ATOM_backquoted_string (46*2+1) +#define ATOM_backslash (47*2+1) +#define ATOM_backtrace (48*2+1) +#define ATOM_bar (49*2+1) +#define ATOM_begin (50*2+1) +#define ATOM_binary (51*2+1) +#define ATOM_bind (52*2+1) +#define ATOM_bitor (53*2+1) +#define ATOM_bof (54*2+1) +#define ATOM_bom (55*2+1) +#define ATOM_bool (56*2+1) +#define ATOM_boolean (57*2+1) +#define ATOM_brace_term_position (58*2+1) +#define ATOM_break (59*2+1) +#define ATOM_btree (60*2+1) +#define ATOM_buffer (61*2+1) +#define ATOM_buffer_size (62*2+1) +#define ATOM_built_in_procedure (63*2+1) +#define ATOM_busy (64*2+1) +#define ATOM_bw_xor (65*2+1) +#define ATOM_byte (66*2+1) +#define ATOM_call (67*2+1) +#define ATOM_callable (68*2+1) +#define ATOM_callpred (69*2+1) +#define ATOM_canceled (70*2+1) +#define ATOM_case_sensitive_file_names (71*2+1) +#define ATOM_catch (72*2+1) +#define ATOM_ceil (73*2+1) +#define ATOM_ceiling (74*2+1) +#define ATOM_char_type (75*2+1) +#define ATOM_character (76*2+1) +#define ATOM_character_code (77*2+1) +#define ATOM_character_escapes (78*2+1) +#define ATOM_chars (79*2+1) +#define ATOM_chdir (80*2+1) +#define ATOM_chmod (81*2+1) +#define ATOM_choice (82*2+1) +#define ATOM_clause (83*2+1) +#define ATOM_clause_reference (84*2+1) +#define ATOM_close (85*2+1) +#define ATOM_close_on_abort (86*2+1) +#define ATOM_close_option (87*2+1) +#define ATOM_cm (88*2+1) +#define ATOM_cntrl (89*2+1) +#define ATOM_co (90*2+1) +#define ATOM_codes (91*2+1) +#define ATOM_collected (92*2+1) +#define ATOM_collections (93*2+1) +#define ATOM_colon (94*2+1) +#define ATOM_comma (95*2+1) +#define ATOM_comments (96*2+1) +#define ATOM_compound (97*2+1) +#define ATOM_context (98*2+1) +#define ATOM_context_module (99*2+1) +#define ATOM_continue (100*2+1) +#define ATOM_core (101*2+1) +#define ATOM_core_left (102*2+1) +#define ATOM_cos (103*2+1) +#define ATOM_cputime (104*2+1) +#define ATOM_create (105*2+1) +#define ATOM_csym (106*2+1) +#define ATOM_csymf (107*2+1) +#define ATOM_cumulative (108*2+1) +#define ATOM_curl (109*2+1) +#define ATOM_current (110*2+1) +#define ATOM_current_input (111*2+1) +#define ATOM_current_output (112*2+1) +#define ATOM_cut (113*2+1) +#define ATOM_cut_call (114*2+1) +#define ATOM_cut_exit (115*2+1) +#define ATOM_cut_parent (116*2+1) +#define ATOM_cutted (117*2+1) +#define ATOM_cyclic_term (118*2+1) +#define ATOM_dand (119*2+1) +#define ATOM_date (120*2+1) +#define ATOM_db_reference (121*2+1) +#define ATOM_dc_call_prolog (122*2+1) +#define ATOM_dcall (123*2+1) +#define ATOM_dcall_cleanup (124*2+1) +#define ATOM_dcatch (125*2+1) +#define ATOM_dcut (126*2+1) +#define ATOM_dde_error (127*2+1) +#define ATOM_dde_handle (128*2+1) +#define ATOM_debug (129*2+1) +#define ATOM_debug_on_error (130*2+1) +#define ATOM_debugger_print_options (131*2+1) +#define ATOM_debugger_show_context (132*2+1) +#define ATOM_debugging (133*2+1) +#define ATOM_dec10 (134*2+1) +#define ATOM_default (135*2+1) +#define ATOM_defined (136*2+1) +#define ATOM_delete (137*2+1) +#define ATOM_depth_limit_exceeded (138*2+1) +#define ATOM_destroy (139*2+1) +#define ATOM_detached (140*2+1) +#define ATOM_detect (141*2+1) +#define ATOM_development (142*2+1) +#define ATOM_dexit (143*2+1) +#define ATOM_dforeign_registered (144*2+1) +#define ATOM_dgarbage_collect (145*2+1) +#define ATOM_digit (146*2+1) +#define ATOM_directory (147*2+1) +#define ATOM_discontiguous (148*2+1) +#define ATOM_div (149*2+1) +#define ATOM_divide (150*2+1) +#define ATOM_dload (151*2+1) +#define ATOM_dmessage_queue (152*2+1) +#define ATOM_dmutex (153*2+1) +#define ATOM_domain_error (154*2+1) +#define ATOM_dos (155*2+1) +#define ATOM_dot (156*2+1) +#define ATOM_dots (157*2+1) +#define ATOM_double_quotes (158*2+1) +#define ATOM_doublestar (159*2+1) +#define ATOM_dprof_node (160*2+1) +#define ATOM_drecover_and_rethrow (161*2+1) +#define ATOM_dstream (162*2+1) +#define ATOM_dthread_init (163*2+1) +#define ATOM_dthrow (164*2+1) +#define ATOM_dtime (165*2+1) +#define ATOM_dvard (166*2+1) +#define ATOM_dwakeup (167*2+1) +#define ATOM_dynamic (168*2+1) +#define ATOM_e (169*2+1) +#define ATOM_encoding (170*2+1) +#define ATOM_end (171*2+1) +#define ATOM_end_of_file (172*2+1) +#define ATOM_end_of_line (173*2+1) +#define ATOM_end_of_stream (174*2+1) +#define ATOM_environment (175*2+1) +#define ATOM_eof (176*2+1) +#define ATOM_eof_action (177*2+1) +#define ATOM_eof_code (178*2+1) +#define ATOM_epsilon (179*2+1) +#define ATOM_equal (180*2+1) +#define ATOM_equals (181*2+1) +#define ATOM_erase (182*2+1) +#define ATOM_erased (183*2+1) +#define ATOM_error (184*2+1) +#define ATOM_eval (185*2+1) +#define ATOM_evaluable (186*2+1) +#define ATOM_evaluation_error (187*2+1) +#define ATOM_exception (188*2+1) +#define ATOM_exclusive (189*2+1) +#define ATOM_execute (190*2+1) +#define ATOM_exist (191*2+1) +#define ATOM_existence_error (192*2+1) +#define ATOM_exit (193*2+1) +#define ATOM_exited (194*2+1) +#define ATOM_exp (195*2+1) +#define ATOM_export (196*2+1) +#define ATOM_exported (197*2+1) +#define ATOM_exports (198*2+1) +#define ATOM_expression (199*2+1) +#define ATOM_external_exception (200*2+1) +#define ATOM_externals (201*2+1) +#define ATOM_fact (202*2+1) +#define ATOM_factor (203*2+1) +#define ATOM_fail (204*2+1) +#define ATOM_failure_error (205*2+1) +#define ATOM_false (206*2+1) +#define ATOM_feature (207*2+1) +#define ATOM_file (208*2+1) +#define ATOM_file_name (209*2+1) +#define ATOM_file_name_variables (210*2+1) +#define ATOM_file_no (211*2+1) +#define ATOM_flag (212*2+1) +#define ATOM_flag_value (213*2+1) +#define ATOM_float (214*2+1) +#define ATOM_float_format (215*2+1) +#define ATOM_float_fractional_part (216*2+1) +#define ATOM_float_integer_part (217*2+1) +#define ATOM_float_overflow (218*2+1) +#define ATOM_float_underflow (219*2+1) +#define ATOM_floor (220*2+1) +#define ATOM_force (221*2+1) +#define ATOM_foreign (222*2+1) +#define ATOM_foreign_function (223*2+1) +#define ATOM_foreign_return_value (224*2+1) +#define ATOM_fork (225*2+1) +#define ATOM_frame (226*2+1) +#define ATOM_frame_attribute (227*2+1) +#define ATOM_frame_finished (228*2+1) +#define ATOM_frame_reference (229*2+1) +#define ATOM_free_of_attvar (230*2+1) +#define ATOM_freeze (231*2+1) +#define ATOM_full (232*2+1) +#define ATOM_functor_name (233*2+1) +#define ATOM_functors (234*2+1) +#define ATOM_fx (235*2+1) +#define ATOM_fy (236*2+1) +#define ATOM_garbage_collected (237*2+1) +#define ATOM_garbage_collection (238*2+1) +#define ATOM_gc (239*2+1) +#define ATOM_gcd (240*2+1) +#define ATOM_gctime (241*2+1) +#define ATOM_getcwd (242*2+1) +#define ATOM_global (243*2+1) +#define ATOM_global_shifts (244*2+1) +#define ATOM_global_stack (245*2+1) +#define ATOM_globallimit (246*2+1) +#define ATOM_globalused (247*2+1) +#define ATOM_goal (248*2+1) +#define ATOM_goal_expansion (249*2+1) +#define ATOM_grammar (250*2+1) +#define ATOM_graph (251*2+1) +#define ATOM_ground (252*2+1) +#define ATOM_gvar (253*2+1) +#define ATOM_halt (254*2+1) +#define ATOM_has_alternatives (255*2+1) +#define ATOM_hash (256*2+1) +#define ATOM_hashed (257*2+1) +#define ATOM_hat (258*2+1) +#define ATOM_heap (259*2+1) +#define ATOM_heaplimit (260*2+1) +#define ATOM_heapused (261*2+1) +#define ATOM_help (262*2+1) +#define ATOM_hidden (263*2+1) +#define ATOM_hide_childs (264*2+1) +#define ATOM_history_depth (265*2+1) +#define ATOM_ifthen (266*2+1) +#define ATOM_ignore (267*2+1) +#define ATOM_ignore_ops (268*2+1) +#define ATOM_imported (269*2+1) +#define ATOM_imported_procedure (270*2+1) +#define ATOM_index (271*2+1) +#define ATOM_indexed (272*2+1) +#define ATOM_inf (273*2+1) +#define ATOM_inferences (274*2+1) +#define ATOM_infinite (275*2+1) +#define ATOM_informational (276*2+1) +#define ATOM_init_file (277*2+1) +#define ATOM_initialization (278*2+1) +#define ATOM_input (279*2+1) +#define ATOM_inserted_char (280*2+1) +#define ATOM_instantiation_error (281*2+1) +#define ATOM_int (282*2+1) +#define ATOM_int64_t (283*2+1) +#define ATOM_int_overflow (284*2+1) +#define ATOM_integer (285*2+1) +#define ATOM_integer_expression (286*2+1) +#define ATOM_interrupt (287*2+1) +#define ATOM_io_error (288*2+1) +#define ATOM_io_mode (289*2+1) +#define ATOM_ioctl (290*2+1) +#define ATOM_is (291*2+1) +#define ATOM_iso (292*2+1) +#define ATOM_iso_latin_1 (293*2+1) +#define ATOM_isovar (294*2+1) +#define ATOM_join (295*2+1) +#define ATOM_jump (296*2+1) +#define ATOM_kernel (297*2+1) +#define ATOM_key (298*2+1) +#define ATOM_larger (299*2+1) +#define ATOM_larger_equal (300*2+1) +#define ATOM_level (301*2+1) +#define ATOM_li (302*2+1) +#define ATOM_limit (303*2+1) +#define ATOM_line (304*2+1) +#define ATOM_line_count (305*2+1) +#define ATOM_list (306*2+1) +#define ATOM_list_position (307*2+1) +#define ATOM_listing (308*2+1) +#define ATOM_local (309*2+1) +#define ATOM_local_shifts (310*2+1) +#define ATOM_local_stack (311*2+1) +#define ATOM_locale (312*2+1) +#define ATOM_locallimit (313*2+1) +#define ATOM_localused (314*2+1) +#define ATOM_lock (315*2+1) +#define ATOM_locked (316*2+1) +#define ATOM_log (317*2+1) +#define ATOM_log10 (318*2+1) +#define ATOM_long (319*2+1) +#define ATOM_low (320*2+1) +#define ATOM_lower (321*2+1) +#define ATOM_lsb (322*2+1) +#define ATOM_lshift (323*2+1) +#define ATOM_main (324*2+1) +#define ATOM_mark (325*2+1) +#define ATOM_matches (326*2+1) +#define ATOM_max (327*2+1) +#define ATOM_max_arity (328*2+1) +#define ATOM_max_dde_handles (329*2+1) +#define ATOM_max_depth (330*2+1) +#define ATOM_max_files (331*2+1) +#define ATOM_max_frame_size (332*2+1) +#define ATOM_max_path_length (333*2+1) +#define ATOM_max_size (334*2+1) +#define ATOM_max_variable_length (335*2+1) +#define ATOM_memory (336*2+1) +#define ATOM_message (337*2+1) +#define ATOM_message_lines (338*2+1) +#define ATOM_message_queue (339*2+1) +#define ATOM_message_queue_property (340*2+1) +#define ATOM_meta_argument (341*2+1) +#define ATOM_meta_argument_specifier (342*2+1) +#define ATOM_meta_predicate (343*2+1) +#define ATOM_min (344*2+1) +#define ATOM_min_free (345*2+1) +#define ATOM_minus (346*2+1) +#define ATOM_mismatched_char (347*2+1) +#define ATOM_mod (348*2+1) +#define ATOM_mode (349*2+1) +#define ATOM_modify (350*2+1) +#define ATOM_module (351*2+1) +#define ATOM_module_property (352*2+1) +#define ATOM_module_transparent (353*2+1) +#define ATOM_modules (354*2+1) +#define ATOM_msb (355*2+1) +#define ATOM_multifile (356*2+1) +#define ATOM_mutex (357*2+1) +#define ATOM_mutex_option (358*2+1) +#define ATOM_mutex_property (359*2+1) +#define ATOM_natural (360*2+1) +#define ATOM_newline (361*2+1) +#define ATOM_next_argument (362*2+1) +#define ATOM_nil (363*2+1) +#define ATOM_nlink (364*2+1) +#define ATOM_no_memory (365*2+1) +#define ATOM_nodebug (366*2+1) +#define ATOM_non_empty_list (367*2+1) +#define ATOM_none (368*2+1) +#define ATOM_nonvar (369*2+1) +#define ATOM_noprofile (370*2+1) +#define ATOM_normal (371*2+1) +#define ATOM_not (372*2+1) +#define ATOM_not_equals (373*2+1) +#define ATOM_not_implemented (374*2+1) +#define ATOM_not_less_than_one (375*2+1) +#define ATOM_not_less_than_zero (376*2+1) +#define ATOM_not_provable (377*2+1) +#define ATOM_not_strickt_equals (378*2+1) +#define ATOM_not_unique (379*2+1) +#define ATOM_number (380*2+1) +#define ATOM_number_of_clauses (381*2+1) +#define ATOM_numbervar_option (382*2+1) +#define ATOM_numbervars (383*2+1) +#define ATOM_occurs_check (384*2+1) +#define ATOM_octet (385*2+1) +#define ATOM_off (386*2+1) +#define ATOM_on (387*2+1) +#define ATOM_open (388*2+1) +#define ATOM_operator (389*2+1) +#define ATOM_operator_priority (390*2+1) +#define ATOM_operator_specifier (391*2+1) +#define ATOM_optimise (392*2+1) +#define ATOM_or (393*2+1) +#define ATOM_order (394*2+1) +#define ATOM_output (395*2+1) +#define ATOM_pair (396*2+1) +#define ATOM_paren (397*2+1) +#define ATOM_parent (398*2+1) +#define ATOM_parent_goal (399*2+1) +#define ATOM_partial (400*2+1) +#define ATOM_past (401*2+1) +#define ATOM_past_end_of_stream (402*2+1) +#define ATOM_pattern (403*2+1) +#define ATOM_pc (404*2+1) +#define ATOM_period (405*2+1) +#define ATOM_permission_error (406*2+1) +#define ATOM_pi (407*2+1) +#define ATOM_pipe (408*2+1) +#define ATOM_plain (409*2+1) +#define ATOM_plus (410*2+1) +#define ATOM_popcount (411*2+1) +#define ATOM_portray (412*2+1) +#define ATOM_position (413*2+1) +#define ATOM_posix (414*2+1) +#define ATOM_powm (415*2+1) +#define ATOM_predicate_indicator (416*2+1) +#define ATOM_predicates (417*2+1) +#define ATOM_print (418*2+1) +#define ATOM_print_message (419*2+1) +#define ATOM_priority (420*2+1) +#define ATOM_private_procedure (421*2+1) +#define ATOM_procedure (422*2+1) +#define ATOM_profile_mode (423*2+1) +#define ATOM_profile_no_cpu_time (424*2+1) +#define ATOM_profile_node (425*2+1) +#define ATOM_program (426*2+1) +#define ATOM_program_counter (427*2+1) +#define ATOM_prolog (428*2+1) +#define ATOM_prolog_flag (429*2+1) +#define ATOM_prolog_flag_access (430*2+1) +#define ATOM_prolog_flag_option (431*2+1) +#define ATOM_prolog_flag_type (432*2+1) +#define ATOM_prompt (433*2+1) +#define ATOM_property (434*2+1) +#define ATOM_protocol (435*2+1) +#define ATOM_prove (436*2+1) +#define ATOM_punct (437*2+1) +#define ATOM_query (438*2+1) +#define ATOM_question_mark (439*2+1) +#define ATOM_queue_option (440*2+1) +#define ATOM_quiet (441*2+1) +#define ATOM_quote (442*2+1) +#define ATOM_quoted (443*2+1) +#define ATOM_radix (444*2+1) +#define ATOM_random (445*2+1) +#define ATOM_random_option (446*2+1) +#define ATOM_rational (447*2+1) +#define ATOM_rationalize (448*2+1) +#define ATOM_rdiv (449*2+1) +#define ATOM_read (450*2+1) +#define ATOM_read_only (451*2+1) +#define ATOM_read_option (452*2+1) +#define ATOM_read_write (453*2+1) +#define ATOM_readline (454*2+1) +#define ATOM_real_time (455*2+1) +#define ATOM_receiver (456*2+1) +#define ATOM_record (457*2+1) +#define ATOM_record_position (458*2+1) +#define ATOM_redefine (459*2+1) +#define ATOM_redo (460*2+1) +#define ATOM_references (461*2+1) +#define ATOM_rem (462*2+1) +#define ATOM_rename (463*2+1) +#define ATOM_report_error (464*2+1) +#define ATOM_reposition (465*2+1) +#define ATOM_representation_error (466*2+1) +#define ATOM_representation_errors (467*2+1) +#define ATOM_reset (468*2+1) +#define ATOM_resource_error (469*2+1) +#define ATOM_resource_handle (470*2+1) +#define ATOM_retry (471*2+1) +#define ATOM_round (472*2+1) +#define ATOM_rshift (473*2+1) +#define ATOM_running (474*2+1) +#define ATOM_runtime (475*2+1) +#define ATOM_save_class (476*2+1) +#define ATOM_save_option (477*2+1) +#define ATOM_seed (478*2+1) +#define ATOM_seek_method (479*2+1) +#define ATOM_select (480*2+1) +#define ATOM_semicolon (481*2+1) +#define ATOM_separated (482*2+1) +#define ATOM_set (483*2+1) +#define ATOM_setup_call_catcher_cleanup (484*2+1) +#define ATOM_shared (485*2+1) +#define ATOM_shared_object (486*2+1) +#define ATOM_shared_object_handle (487*2+1) +#define ATOM_shell (488*2+1) +#define ATOM_sign (489*2+1) +#define ATOM_signal (490*2+1) +#define ATOM_signal_handler (491*2+1) +#define ATOM_silent (492*2+1) +#define ATOM_sin (493*2+1) +#define ATOM_singletons (494*2+1) +#define ATOM_size (495*2+1) +#define ATOM_size_t (496*2+1) +#define ATOM_skip (497*2+1) +#define ATOM_smaller (498*2+1) +#define ATOM_smaller_equal (499*2+1) +#define ATOM_softcut (500*2+1) +#define ATOM_source_sink (501*2+1) +#define ATOM_space (502*2+1) +#define ATOM_spacing (503*2+1) +#define ATOM_spare (504*2+1) +#define ATOM_spy (505*2+1) +#define ATOM_sqrt (506*2+1) +#define ATOM_stack (507*2+1) +#define ATOM_stack_parameter (508*2+1) +#define ATOM_stack_shifts (509*2+1) +#define ATOM_stacks (510*2+1) +#define ATOM_stand_alone (511*2+1) +#define ATOM_standard (512*2+1) +#define ATOM_star (513*2+1) +#define ATOM_start (514*2+1) +#define ATOM_stat (515*2+1) +#define ATOM_static_procedure (516*2+1) +#define ATOM_statistics (517*2+1) +#define ATOM_status (518*2+1) +#define ATOM_stderr (519*2+1) +#define ATOM_stream (520*2+1) +#define ATOM_stream_option (521*2+1) +#define ATOM_stream_or_alias (522*2+1) +#define ATOM_stream_pair (523*2+1) +#define ATOM_stream_position (524*2+1) +#define ATOM_stream_property (525*2+1) +#define ATOM_strict_equal (526*2+1) +#define ATOM_string (527*2+1) +#define ATOM_string_position (528*2+1) +#define ATOM_subterm_positions (529*2+1) +#define ATOM_suffix (530*2+1) +#define ATOM_syntax_error (531*2+1) +#define ATOM_syntax_errors (532*2+1) +#define ATOM_system (533*2+1) +#define ATOM_system_error (534*2+1) +#define ATOM_system_init_file (535*2+1) +#define ATOM_system_thread_id (536*2+1) +#define ATOM_system_time (537*2+1) +#define ATOM_tan (538*2+1) +#define ATOM_temporary_files (539*2+1) +#define ATOM_term (540*2+1) +#define ATOM_term_expansion (541*2+1) +#define ATOM_term_position (542*2+1) +#define ATOM_terminal (543*2+1) +#define ATOM_terminal_capability (544*2+1) +#define ATOM_text (545*2+1) +#define ATOM_thread (546*2+1) +#define ATOM_thread_cputime (547*2+1) +#define ATOM_thread_initialization (548*2+1) +#define ATOM_thread_local (549*2+1) +#define ATOM_thread_local_procedure (550*2+1) +#define ATOM_thread_option (551*2+1) +#define ATOM_thread_property (552*2+1) +#define ATOM_threads (553*2+1) +#define ATOM_threads_created (554*2+1) +#define ATOM_throw (555*2+1) +#define ATOM_tilde (556*2+1) +#define ATOM_time (557*2+1) +#define ATOM_time_stamp (558*2+1) +#define ATOM_timeout (559*2+1) +#define ATOM_timeout_error (560*2+1) +#define ATOM_timezone (561*2+1) +#define ATOM_to_lower (562*2+1) +#define ATOM_to_upper (563*2+1) +#define ATOM_top (564*2+1) +#define ATOM_top_level (565*2+1) +#define ATOM_toplevel (566*2+1) +#define ATOM_trace (567*2+1) +#define ATOM_trace_any (568*2+1) +#define ATOM_trace_call (569*2+1) +#define ATOM_trace_exit (570*2+1) +#define ATOM_trace_fail (571*2+1) +#define ATOM_trace_gc (572*2+1) +#define ATOM_trace_redo (573*2+1) +#define ATOM_traceinterc (574*2+1) +#define ATOM_tracing (575*2+1) +#define ATOM_trail (576*2+1) +#define ATOM_trail_shifts (577*2+1) +#define ATOM_traillimit (578*2+1) +#define ATOM_trailused (579*2+1) +#define ATOM_transparent (580*2+1) +#define ATOM_transposed_char (581*2+1) +#define ATOM_transposed_word (582*2+1) +#define ATOM_true (583*2+1) +#define ATOM_truncate (584*2+1) +#define ATOM_tty (585*2+1) +#define ATOM_tty_control (586*2+1) +#define ATOM_type (587*2+1) +#define ATOM_type_error (588*2+1) +#define ATOM_undefined (589*2+1) +#define ATOM_undefined_global_variable (590*2+1) +#define ATOM_undefinterc (591*2+1) +#define ATOM_unicode_be (592*2+1) +#define ATOM_unicode_le (593*2+1) +#define ATOM_unify (594*2+1) +#define ATOM_unify_determined (595*2+1) +#define ATOM_unique (596*2+1) +#define ATOM_univ (597*2+1) +#define ATOM_unknown (598*2+1) +#define ATOM_unlimited (599*2+1) +#define ATOM_unload (600*2+1) +#define ATOM_unlock (601*2+1) +#define ATOM_unlocked (602*2+1) +#define ATOM_update (603*2+1) +#define ATOM_upper (604*2+1) +#define ATOM_user (605*2+1) +#define ATOM_user_error (606*2+1) +#define ATOM_user_flags (607*2+1) +#define ATOM_user_input (608*2+1) +#define ATOM_user_output (609*2+1) +#define ATOM_utc (610*2+1) +#define ATOM_utf8 (611*2+1) +#define ATOM_v (612*2+1) +#define ATOM_var (613*2+1) +#define ATOM_variable (614*2+1) +#define ATOM_variable_names (615*2+1) +#define ATOM_variables (616*2+1) +#define ATOM_very_deep (617*2+1) +#define ATOM_vmi (618*2+1) +#define ATOM_volatile (619*2+1) +#define ATOM_wakeup (620*2+1) +#define ATOM_walltime (621*2+1) +#define ATOM_warning (622*2+1) +#define ATOM_wchar_t (623*2+1) +#define ATOM_when_condition (624*2+1) +#define ATOM_white (625*2+1) +#define ATOM_write (626*2+1) +#define ATOM_write_attributes (627*2+1) +#define ATOM_write_option (628*2+1) +#define ATOM_xdigit (629*2+1) +#define ATOM_xf (630*2+1) +#define ATOM_xfx (631*2+1) +#define ATOM_xfy (632*2+1) +#define ATOM_xml (633*2+1) +#define ATOM_xor (634*2+1) +#define ATOM_xpceref (635*2+1) +#define ATOM_yf (636*2+1) +#define ATOM_yfx (637*2+1) +#define ATOM_yfy (638*2+1) +#define ATOM_zero_divisor (639*2+1) +#define FUNCTOR_abs1 (0*4+2) +#define FUNCTOR_access1 (1*4+2) +#define FUNCTOR_acos1 (2*4+2) +#define FUNCTOR_alias1 (3*4+2) +#define FUNCTOR_and2 (4*4+2) +#define FUNCTOR_ar_equals2 (5*4+2) +#define FUNCTOR_ar_not_equal2 (6*4+2) +#define FUNCTOR_asin1 (7*4+2) +#define FUNCTOR_assert1 (8*4+2) +#define FUNCTOR_asserta1 (9*4+2) +#define FUNCTOR_atan1 (10*4+2) +#define FUNCTOR_atan2 (11*4+2) +#define FUNCTOR_atom1 (12*4+2) +#define FUNCTOR_att3 (13*4+2) +#define FUNCTOR_backslash1 (14*4+2) +#define FUNCTOR_bar2 (15*4+2) +#define FUNCTOR_bitor2 (16*4+2) +#define FUNCTOR_bom1 (17*4+2) +#define FUNCTOR_brace_term_position3 (18*4+2) +#define FUNCTOR_break1 (19*4+2) +#define FUNCTOR_break2 (20*4+2) +#define FUNCTOR_break3 (21*4+2) +#define FUNCTOR_buffer1 (22*4+2) +#define FUNCTOR_buffer_size1 (23*4+2) +#define FUNCTOR_busy2 (24*4+2) +#define FUNCTOR_bw_xor2 (25*4+2) +#define FUNCTOR_call1 (26*4+2) +#define FUNCTOR_callpred2 (27*4+2) +#define FUNCTOR_catch3 (28*4+2) +#define FUNCTOR_ceil1 (29*4+2) +#define FUNCTOR_ceiling1 (30*4+2) +#define FUNCTOR_chars1 (31*4+2) +#define FUNCTOR_chars2 (32*4+2) +#define FUNCTOR_clause1 (33*4+2) +#define FUNCTOR_close_on_abort1 (34*4+2) +#define FUNCTOR_codes1 (35*4+2) +#define FUNCTOR_codes2 (36*4+2) +#define FUNCTOR_colon2 (37*4+2) +#define FUNCTOR_comma2 (38*4+2) +#define FUNCTOR_context2 (39*4+2) +#define FUNCTOR_cos1 (40*4+2) +#define FUNCTOR_cputime0 (41*4+2) +#define FUNCTOR_curl1 (42*4+2) +#define FUNCTOR_cut_call1 (43*4+2) +#define FUNCTOR_cut_exit1 (44*4+2) +#define FUNCTOR_dand2 (45*4+2) +#define FUNCTOR_date3 (46*4+2) +#define FUNCTOR_date9 (47*4+2) +#define FUNCTOR_dc_call_prolog0 (48*4+2) +#define FUNCTOR_dcall1 (49*4+2) +#define FUNCTOR_dcut1 (50*4+2) +#define FUNCTOR_dde_error2 (51*4+2) +#define FUNCTOR_debugging1 (52*4+2) +#define FUNCTOR_detached1 (53*4+2) +#define FUNCTOR_dexit2 (54*4+2) +#define FUNCTOR_dforeign_registered2 (55*4+2) +#define FUNCTOR_dgarbage_collect1 (56*4+2) +#define FUNCTOR_div2 (57*4+2) +#define FUNCTOR_divide2 (58*4+2) +#define FUNCTOR_dmessage_queue1 (59*4+2) +#define FUNCTOR_dmutex1 (60*4+2) +#define FUNCTOR_domain_error2 (61*4+2) +#define FUNCTOR_dot2 (62*4+2) +#define FUNCTOR_doublestar2 (63*4+2) +#define FUNCTOR_dprof_node1 (64*4+2) +#define FUNCTOR_drecover_and_rethrow2 (65*4+2) +#define FUNCTOR_dstream1 (66*4+2) +#define FUNCTOR_dthread_init0 (67*4+2) +#define FUNCTOR_dthrow1 (68*4+2) +#define FUNCTOR_dtime2 (69*4+2) +#define FUNCTOR_dvard1 (70*4+2) +#define FUNCTOR_dwakeup1 (71*4+2) +#define FUNCTOR_e0 (72*4+2) +#define FUNCTOR_encoding1 (73*4+2) +#define FUNCTOR_end_of_stream1 (74*4+2) +#define FUNCTOR_eof_action1 (75*4+2) +#define FUNCTOR_epsilon0 (76*4+2) +#define FUNCTOR_equals2 (77*4+2) +#define FUNCTOR_erased1 (78*4+2) +#define FUNCTOR_error2 (79*4+2) +#define FUNCTOR_eval1 (80*4+2) +#define FUNCTOR_evaluation_error1 (81*4+2) +#define FUNCTOR_exception1 (82*4+2) +#define FUNCTOR_exception3 (83*4+2) +#define FUNCTOR_existence_error2 (84*4+2) +#define FUNCTOR_exited1 (85*4+2) +#define FUNCTOR_exp1 (86*4+2) +#define FUNCTOR_exports1 (87*4+2) +#define FUNCTOR_external_exception1 (88*4+2) +#define FUNCTOR_fail0 (89*4+2) +#define FUNCTOR_failure_error1 (90*4+2) +#define FUNCTOR_file1 (91*4+2) +#define FUNCTOR_file4 (92*4+2) +#define FUNCTOR_file_name1 (93*4+2) +#define FUNCTOR_file_no1 (94*4+2) +#define FUNCTOR_float1 (95*4+2) +#define FUNCTOR_float_fractional_part1 (96*4+2) +#define FUNCTOR_float_integer_part1 (97*4+2) +#define FUNCTOR_floor1 (98*4+2) +#define FUNCTOR_foreign_function1 (99*4+2) +#define FUNCTOR_frame3 (100*4+2) +#define FUNCTOR_frame_finished1 (101*4+2) +#define FUNCTOR_gcd2 (102*4+2) +#define FUNCTOR_goal_expansion2 (103*4+2) +#define FUNCTOR_ground1 (104*4+2) +#define FUNCTOR_hat2 (105*4+2) +#define FUNCTOR_ifthen2 (106*4+2) +#define FUNCTOR_input0 (107*4+2) +#define FUNCTOR_integer1 (108*4+2) +#define FUNCTOR_interrupt1 (109*4+2) +#define FUNCTOR_io_error2 (110*4+2) +#define FUNCTOR_is2 (111*4+2) +#define FUNCTOR_isovar1 (112*4+2) +#define FUNCTOR_larger2 (113*4+2) +#define FUNCTOR_larger_equal2 (114*4+2) +#define FUNCTOR_line_count1 (115*4+2) +#define FUNCTOR_list_position4 (116*4+2) +#define FUNCTOR_listing1 (117*4+2) +#define FUNCTOR_locked2 (118*4+2) +#define FUNCTOR_log1 (119*4+2) +#define FUNCTOR_log101 (120*4+2) +#define FUNCTOR_lsb1 (121*4+2) +#define FUNCTOR_lshift2 (122*4+2) +#define FUNCTOR_max2 (123*4+2) +#define FUNCTOR_max_size1 (124*4+2) +#define FUNCTOR_message_lines1 (125*4+2) +#define FUNCTOR_min2 (126*4+2) +#define FUNCTOR_minus1 (127*4+2) +#define FUNCTOR_minus2 (128*4+2) +#define FUNCTOR_mod2 (129*4+2) +#define FUNCTOR_mode1 (130*4+2) +#define FUNCTOR_msb1 (131*4+2) +#define FUNCTOR_newline1 (132*4+2) +#define FUNCTOR_nlink1 (133*4+2) +#define FUNCTOR_nonvar1 (134*4+2) +#define FUNCTOR_not_implemented2 (135*4+2) +#define FUNCTOR_not_provable1 (136*4+2) +#define FUNCTOR_occurs_check2 (137*4+2) +#define FUNCTOR_or1 (138*4+2) +#define FUNCTOR_output0 (139*4+2) +#define FUNCTOR_permission_error3 (140*4+2) +#define FUNCTOR_pi0 (141*4+2) +#define FUNCTOR_pipe1 (142*4+2) +#define FUNCTOR_plus1 (143*4+2) +#define FUNCTOR_plus2 (144*4+2) +#define FUNCTOR_popcount1 (145*4+2) +#define FUNCTOR_portray1 (146*4+2) +#define FUNCTOR_position1 (147*4+2) +#define FUNCTOR_powm3 (148*4+2) +#define FUNCTOR_print1 (149*4+2) +#define FUNCTOR_print_message2 (150*4+2) +#define FUNCTOR_procedure2 (151*4+2) +#define FUNCTOR_prove1 (152*4+2) +#define FUNCTOR_prove2 (153*4+2) +#define FUNCTOR_punct2 (154*4+2) +#define FUNCTOR_random1 (155*4+2) +#define FUNCTOR_rational1 (156*4+2) +#define FUNCTOR_rationalize1 (157*4+2) +#define FUNCTOR_rdiv2 (158*4+2) +#define FUNCTOR_rem2 (159*4+2) +#define FUNCTOR_reposition1 (160*4+2) +#define FUNCTOR_representation_error1 (161*4+2) +#define FUNCTOR_representation_errors1 (162*4+2) +#define FUNCTOR_resource_error1 (163*4+2) +#define FUNCTOR_retry1 (164*4+2) +#define FUNCTOR_round1 (165*4+2) +#define FUNCTOR_rshift2 (166*4+2) +#define FUNCTOR_semicolon2 (167*4+2) +#define FUNCTOR_setup_call_catcher_cleanup4 (168*4+2) +#define FUNCTOR_shared_object2 (169*4+2) +#define FUNCTOR_shell2 (170*4+2) +#define FUNCTOR_sign1 (171*4+2) +#define FUNCTOR_signal1 (172*4+2) +#define FUNCTOR_signal2 (173*4+2) +#define FUNCTOR_sin1 (174*4+2) +#define FUNCTOR_singletons1 (175*4+2) +#define FUNCTOR_size1 (176*4+2) +#define FUNCTOR_smaller2 (177*4+2) +#define FUNCTOR_smaller_equal2 (178*4+2) +#define FUNCTOR_softcut2 (179*4+2) +#define FUNCTOR_spy1 (180*4+2) +#define FUNCTOR_sqrt1 (181*4+2) +#define FUNCTOR_star2 (182*4+2) +#define FUNCTOR_status1 (183*4+2) +#define FUNCTOR_stream4 (184*4+2) +#define FUNCTOR_stream_position4 (185*4+2) +#define FUNCTOR_strict_equal2 (186*4+2) +#define FUNCTOR_string1 (187*4+2) +#define FUNCTOR_string2 (188*4+2) +#define FUNCTOR_string_position2 (189*4+2) +#define FUNCTOR_syntax_error1 (190*4+2) +#define FUNCTOR_syntax_error3 (191*4+2) +#define FUNCTOR_tan1 (192*4+2) +#define FUNCTOR_term_expansion2 (193*4+2) +#define FUNCTOR_term_position5 (194*4+2) +#define FUNCTOR_timeout1 (195*4+2) +#define FUNCTOR_timeout_error2 (196*4+2) +#define FUNCTOR_trace1 (197*4+2) +#define FUNCTOR_traceinterc3 (198*4+2) +#define FUNCTOR_tracing1 (199*4+2) +#define FUNCTOR_true0 (200*4+2) +#define FUNCTOR_truncate1 (201*4+2) +#define FUNCTOR_tty1 (202*4+2) +#define FUNCTOR_type1 (203*4+2) +#define FUNCTOR_type_error2 (204*4+2) +#define FUNCTOR_undefinterc4 (205*4+2) +#define FUNCTOR_unify_determined2 (206*4+2) +#define FUNCTOR_var1 (207*4+2) +#define FUNCTOR_wakeup3 (208*4+2) +#define FUNCTOR_warning3 (209*4+2) +#define FUNCTOR_xor2 (210*4+2) +#define FUNCTOR_xpceref1 (211*4+2) #define N_SWI_ATOMS 640 diff --git a/misc/buildswiatoms b/misc/buildswiatoms index b33909800..b7a73811f 100644 --- a/misc/buildswiatoms +++ b/misc/buildswiatoms @@ -34,17 +34,15 @@ gen_defs(Inp,Out) :- nb_getval(atom_counter, Pos), NPos is Pos+1, nb_setval(atom_counter, NPos), - OffPos is Pos*2+1, - number_codes(OffPos, Val), - append(["#define ATOM_",Atom," ",Val], Out). + number_codes(Pos, Val), + append(["#define ATOM_",Atom," (",Val,"*2+1)"], Out). gen_defs(Inp,Out) :- split(Inp," ",["F",Functor,Arity]), !, nb_getval(functor_counter, Pos), NPos is Pos+1, nb_setval(functor_counter, NPos), - OffPos is Pos*4+2, - number_codes(OffPos, Val), - append(["#define FUNCTOR_",Functor,Arity," ",Val], Out). + number_codes(Pos, Val), + append(["#define FUNCTOR_",Functor,Arity," (",Val,"*4+2)"], Out). gen_init(Inp,Out) :- diff --git a/pl/boot.yap b/pl/boot.yap index 512963db8..6381c2168 100755 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -159,19 +159,6 @@ true :- true. '$enter_top_level' :- '$clean_up_dead_clauses', fail. -% use if we come from a save_program and we have SWI's shlib -'$enter_top_level' :- - recorded('$reload_foreign_libraries',G,R), - erase(R), - shlib:reload_foreign_libraries, - fail. -% use if we come from a save_program and we have a goal to execute -'$enter_top_level' :- - recorded('$restore_goal',G,R), - erase(R), - prompt(_,' | '), - '$system_catch'('$do_yes_no'((G->true),user),user,Error,user:'$Error'(Error)), - fail. '$enter_top_level' :- '$nb_getval'('$break',BreakLevel,fail), '$debug_on'(DBON), @@ -201,6 +188,7 @@ true :- true. '$read_vars'(user_input,Command,_,Pos,Varnames), nb_setval('$spy_gn',1), % stop at spy-points if debugging is on. + nb_setval('$debug_run',off), nb_setval('$debug_jump',off), prompt(_,' |: '), @@ -213,6 +201,19 @@ true :- true. set_value('$extend_file_search_path',[]), '$extend_file_search_path'(P), fail. +% use if we come from a save_program and we have SWI's shlib +'$startup_goals' :- + recorded('$reload_foreign_libraries',G,R), + erase(R), + shlib:reload_foreign_libraries, + fail. +% use if we come from a save_program and we have a goal to execute +'$startup_goals' :- + recorded('$restore_goal',G,R), + erase(R), + prompt(_,' | '), + '$system_catch'('$do_yes_no'((G->true),user),user,Error,user:'$Error'(Error)), + fail. '$startup_goals' :- recorded('$startup_goal',G,_), '$current_module'(Module),