XSB: C:/dev/sandbox/xsb_release/XSB/lib/foreign.H Source File

00001 /* File:      foreign.H
00002 ** Author(s): Jiyang Xu, Kostis 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: foreign.H,v 1.20 2006/06/11 21:41:56 tswift Exp $
00023 ** 
00024 */
00025 
00026 
00027 :- export compile_cH/6, compile_so/3, runtime_loader_flag/3.
00028 
00029 :- import asm_magic/2 from asm.
00030 :- import asm_putlength/2 from asmpass2.
00031 :- import assert/1, retractall/1 from assert.
00032 :- import message/1, warning/1, time_message/2 from auxlry.
00033 :- import memberchk/2 from basics.
00034 :- import current_compiled_module/1 from compile.
00035 :- import engine_mode_magic_num/2 from consult.
00036 :- import conset/2, conget/2 from gensym.
00037 :- import file_close/1, fmt_write_string/3, file_put/2 from file_io.
00038 :- import attach/2, length/2 from listutil.
00039 :- import str_len/2, str_cat/3, stat_flag/2 from machine.
00040 :- import substring/4 from machine.
00041 :- import parse_filename/4 from machine.
00042 :- import open_or_xpp_file/2 from parse.
00043 :- import shell/1 from shell.
00044 :- import process_control/2 from shell.
00045 :- import read/1, see/1, seen/0, open/3, close/1, tell/1, told/0, repeat/0,
00046           write/2, atom/1, file_exists/1, cputime/1, abort/1, seeing/1, telling/1
00047      from standard.
00048 :- import str_sub/2 from string.
00049 :- import concat_atom/2 from string.
00050 :- import write_header/0, process_from/2 from wrapping.
00051 :- import write_int/2 from xsb_writ.
00052 :- import xsb_configuration/2 from xsb_configuration.