00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027 :- export parse/4, get_symtab/2, parse_preddef/4.
00028 :- export get_p_mod/3, change_multifile_directive/3,
00029 xpp_process_file/3, open_or_xpp_file/2, xpp_include_dir/1,
00030 xpp_program/1, xpp_options/1,
00031 '_$multifile'/1, '_$multifile1'/1,
00032 '_$multifile2'/3, '_$apply_arity'/1,
00033 '_$multifile_retract'/3.
00034
00035 :- import stat_flag/2, stat_set_flag/2, slash/1 from machine.
00036 :- import closetail/1 from listutil.
00037 :- import inline_predicate/2 from builtin.
00038 :- import singleton_check/2 from singlton.
00039 :- import file_read/3 from xsb_read.
00040 :- import add_hilog_symbol/1 from hilogsym.
00041 :- import conset/2, conget/2 from gensym.
00042 :- import append/3, memberchk/2, log_ith/3 from basics.
00043 :- import check_file_compiler_options/1,
00044 error/1, message/1, option/1, setoptions1/1, warning/1 from auxlry.
00045 :- import sym_insert/5, sym_propin/2, sym_complete/1, sym_prop/2,
00046 add_new_clause/2, clause_listify/2
00047 from symtab.
00048 :- import functor/3, seen/0, file_exists/1, '=..'/2, atom/1, integer/1,
00049 op/3, (index)/3, (index)/2, real/1, see/1, expand_term/2, (=..)/2,
00050 name/2, seeing/1, is_most_general_term/1, number/1
00051 from standard.
00052 :- import retract/1, retractall/1, assert/1, (dynamic)/1 from assert.
00053 :- import '_$index'/3, mpa_to_skel/2 from file_op.
00054 :- import misc_error/1 from error_handler.
00055
00056 :- import spawn_process/5, process_control/2 from shell.
00057 :- import xsb_configuration/2 from xsb_configuration.
00058
00059 :- import fmt_write_string/3, file_close/1 from file_io.
00060 :- import file_size/2 from file_io.
00061
00062 :- import standard_symbol/3 from std_xsb.
00063
00064 %%:- import windows_os_loader/0 from loader.
00065
00066 :- import findall/3 from setof.
00067 :- import current_input_port/1 from curr_sym.
00068
00069 :- import included_ciao_directive/1 from ciao_directives.
00070