XSB: C:/dev/sandbox/xsb_release/XSB/syslib/tables.H Source File

00001 /* File:      tables.H
00002 ** Author(s): Terry Swift, Prasad Rao, 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: tables.H,v 1.34 2005/08/16 19:19:10 dwarren Exp $
00022 ** 
00023 */
00024 
00025 
00026 :- export
00027       abolish_all_tables/0,
00028       abolish_table_call/1,
00029       invalidate_tables_for/2,
00030       abolish_table_pred/1,
00031       abolish_module_tables/1,
00032       delete_return/2,
00033       force_truth_value/2,
00034       get_call/3,
00035       get_calls/3,
00036       get_calls_for_table/2,
00037       get_lastnode_cs_retskel/4, /* because it is used in intern.P */
00038       get_producer_call/3,
00039       get_ptcp/1,
00040       get_residual/2,
00041       get_returns/2,
00042       get_returns/3,
00043       get_returns_and_dls/3, 
00044       get_returns_for_call/2,
00045       is_incomplete/2,
00046       sk_not/1,
00047       table_state/2,
00048       table_state/4,
00049       tfindall/3,
00050       tnot/1,
00051       't not'/1,
00052       (trie_dynamic)/1,
00053       trie_assert/1,
00054       trie_assert/2,
00055       trie_retract/1,
00056       trie_retract_nr/1,
00057       trie_retract_all/1,
00058       (use_subsumptive_tabling)/1,
00059       (use_variant_tabling)/1.
00060 
00061 :- import findall/3
00062      from setof.
00063 :- import add_trie_index/1
00064      from file_op.
00065 :- import copy_term/2, ground/1, member/2
00066      from basics.
00067 :- import (dynamic)/1, retract/1, retract_nr/1, retractall/1, t_assert/2
00068      from assert.
00069 :- import (=..)/2, abort/1, call/1, functor/3, is_attv/1, tcall/1
00070      from standard.
00071 :- import throw/1 from standard.
00072 
00073 :- import abolish_table_info/0, delete_attributes/1, term_psc/2, term_new/2
00074      from machine.
00075 :- import numbervars/3, unnumbervars/2
00076      from num_vars.
00077 
00078 :- import invalidate_table_for/2 from usermod.
00079 
00080 /* ------------------- end of file tables.H --------------------------- */