parse.H

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

Generated on Wed Jul 26 13:30:39 2006 for XSB by  doxygen 1.4.5