curr_sym.H

00001 /* File:      curr_sym.H
00002 ** Author(s): Kostis Sagonas
00003 ** Contact:   xsb-contact@cs.sunysb.edu
00004 ** 
00005 ** Copyright (C) The Research Foundation of SUNY, 1986, 1993-1998
00006 ** 
00007 ** XSB is free software; you can redistribute it and/or modify it under the
00008 ** terms of the GNU Library General Public License as published by the Free
00009 ** Software Foundation; either version 2 of the License, or (at your option)
00010 ** any later version.
00011 ** 
00012 ** XSB is distributed in the hope that it will be useful, but WITHOUT ANY
00013 ** WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
00014 ** FOR A PARTICULAR PURPOSE.  See the GNU Library General Public License for
00015 ** more details.
00016 ** 
00017 ** You should have received a copy of the GNU Library General Public License
00018 ** along with XSB; if not, write to the Free Software Foundation,
00019 ** Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
00020 **
00021 ** $Id: curr_sym.H,v 1.21 2006/02/20 20:36:29 tswift Exp $
00022 ** 
00023 */
00024 
00025 
00026 :- export current_op/3, 
00027         current_input/1, current_output/1,
00028         current_module/1, current_module/2,
00029         current_atom/1,
00030         current_functor/1, current_functor/2, 
00031             current_index/2,
00032         current_predicate/1, current_predicate/2,
00033             current_prolog_flag/2,
00034         predicate_property/2, module_property/2, 
00035         xsb_flag/2, set_xsb_flag/2, garbage_collection/1, hilog_symbol/1,
00036         set_prolog_flag/2.
00037 
00038 :- export current_input_port/1, current_output_port/1.
00039 
00040 :- import set_file_write_depth/1, get_file_write_depth/1 from xsb_writ.
00041 :- import '_$op'/3, '_$trie_asserted'/1, '_$index'/3 from file_op.
00042 :- import '_$hilog_symbol'/1 from hilogsym.
00043 :- import libpath/1 from loader.
00044 :- import functor/3, warning/1, abort/1, number/1,integer/1,atom/1,atomic/1 from standard.
00045 :- import standard_symbol/3 from std_xsb.
00046 :- import psc_name/2, psc_arity/2, psc_prop/2, psc_type/2, term_psc/2,
00047           term_type/2, stat_flag/2, stat_set_flag/2, machine_file_exists/1, 
00048           psc_env/2, psc_spy/2, psc_tabled/2, dereference_the_bucket/2,
00049           pair_psc/2, pair_next/2, next_bucket/2, conpsc/2,
00050           str_cat/3, intern_string/2, slash/1, psc_shared/2
00051      from machine.
00052 :- import xsb_configuration/2 from xsb_configuration.
00053 :- import fmt_write_string/3 from file_io.
00054 :- import check_nonvar/3, 
00055    %check_number/3,
00056           domain_error/5,type_error/4,
00057           instantiation_error/3, domain_error/4 from error_handler.
00058 :- import retractall/1, (dynamic)/1, asserta/1 from assert.
00059 :- import findall/3 from setof.
00060 
00061 /* ----------------- end of file current_sym.H -------------------- */

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