parse.H

/* File:      parse.H
** Author(s): Saumya Debray, Kostis F. Sagonas
** Contact:   xsb-contact@cs.sunysb.edu
** 
** Copyright (C) The Research Foundation of SUNY, 1986, 1993-1998
** Copyright (C) ECRC, Germany, 1990
** 
** XSB is free software; you can redistribute it and/or modify it under the
** terms of the GNU Library General Public License as published by the Free
** Software Foundation; either version 2 of the License, or (at your option)
** any later version.
** 
** XSB is distributed in the hope that it will be useful, but WITHOUT ANY
** WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
** FOR A PARTICULAR PURPOSE.  See the GNU Library General Public License for
** more details.
** 
** You should have received a copy of the GNU Library General Public License
** along with XSB; if not, write to the Free Software Foundation,
** Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
**
** $Id: parse.H,v 1.31 2005/10/11 15:21:04 dwarren Exp $
** 
*/


:- export parse/4, get_symtab/2, parse_preddef/4.
:- export get_p_mod/3, change_multifile_directive/3, 
        xpp_process_file/3, open_or_xpp_file/2, xpp_include_dir/1,
        xpp_program/1, xpp_options/1,
        '_$multifile'/1, '_$multifile1'/1,
        '_$multifile2'/3, '_$apply_arity'/1,
        '_$multifile_retract'/3.

:- import stat_flag/2, stat_set_flag/2, slash/1 from machine.
:- import closetail/1 from listutil.
:- import inline_predicate/2 from builtin.
:- import singleton_check/2 from singlton.
:- import file_read/3 from xsb_read.
:- import add_hilog_symbol/1 from hilogsym.
:- import conset/2, conget/2 from gensym.
:- import append/3, memberchk/2, log_ith/3 from basics.
:- import check_file_compiler_options/1, 
             error/1, message/1, option/1, setoptions1/1, warning/1 from auxlry.
:- import sym_insert/5, sym_propin/2, sym_complete/1, sym_prop/2,
          add_new_clause/2, clause_listify/2
     from symtab.
:- import functor/3, seen/0, file_exists/1, '=..'/2, atom/1, integer/1, 
          op/3, (index)/3, (index)/2, real/1, see/1, expand_term/2, (=..)/2,
  name/2, seeing/1, is_most_general_term/1, number/1
     from standard.
:- import retract/1, retractall/1, assert/1, (dynamic)/1 from assert.
:- import '_$index'/3, mpa_to_skel/2 from file_op.
:- import misc_error/1 from error_handler.

:- import spawn_process/5, process_control/2 from shell.
:- import xsb_configuration/2 from xsb_configuration.

:- import fmt_write_string/3, file_close/1 from file_io.
:- import file_size/2 from file_io.

:- import standard_symbol/3 from std_xsb.

%%:- import windows_os_loader/0 from loader.

:- import findall/3 from setof.
:- import current_input_port/1 from curr_sym.

:- import included_ciao_directive/1 from ciao_directives.

---