XSB: C:/dev/sandbox/xsb_release/XSB/packages/xasp/sm

00001 /* File:      sm_int.H
00002 ** Author(s): Luis Castro, Swift
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: sm_int.H,v 1.3 2006/06/03 22:40:22 evansbj Exp $
00023 ** 
00024 */
00025 
00026 :- export smcInit/0,smcReInit/0, smrInit/1,
00027   smcAddRule/2, 
00028 %  smcRetractRule/2, 
00029   smcAddFact/1, smcAddBasicRule/2, smcAddChoiceRule/2,
00030   smcAddSemiDefiniteRule/2,
00031   smrAddBasicRule/3,smrAddChoiceRule/3,
00032   smrAddWeightRule/4,smrAddConstraintRule/4,
00033   smcSetCompute/1, smrSetNegCompute/1, smrSetPosCompute/1,
00034   smcCommitProgram/0, smrCommitProgram/0,
00035   smComputeModel/0,
00036   smcExamineModel/1, smcExamineModel/2, smrExamineModel/2, smEnd/0,
00037           print_cache/0.
00038 
00039 :- import delete_trie/1, new_trie/1, trie_intern/5, trie_interned/4     
00040         from intern.
00041 %:- import '$sm_atomnum'/2, '$sm_fact'/1 from usermod.
00042 
00043 :- import t_assert/2 from assert.
00044 
00045 :- import '$sm_pos_compute'/1, '$sm_neg_compute'/1 from usermod.
00046 
00047 :- import smodelsInit/0, smodelsNumAtoms/1 from xasppkg.
00048 :- import smodelsCheckAtom/2 from xasppkg.
00049 :- import smodelsBeginBasicRule/0,smodelsBeginWeightRule/0 from xasppkg.
00050 :- import smodelsBeginChoiceRule/0, smodelsBeginConstraintRule/0 
00051                        from xasppkg.
00052 :- import smodelsAddHead/1 from xasppkg.
00053 :- import smodelsAddPosBody/1, smodelsAddWPosBody/2, 
00054           smodelsAddNegBody/1, smodelsAddWNegBody/2  from xasppkg.
00055 
00056 :- import smodelsSetBody/1, smodelsSetWeight/1 from xasppkg.
00057 
00058 :- import smodelsEndRule/0 from xasppkg.
00059 :- import smodelsSetPosCompute/1, smodelsSetNegCompute/1 from xasppkg.
00060 :- import smodelsCommitRules/0 from xasppkg.
00061 :- import smodelsExistsModel/1 from xasppkg.
00062 :- import smodelsClose/0 from xasppkg.
00063 
00064 :- import conget/2, conset/2 from machine.
00065 :- import member/2 from basics.
00066 :- import writeln/1 from standard.
00067 :- import (dynamic)/1, retractall/1, assert/1 from assert.
00068 
00069 
00070 
00071 
00072 
00073 
00074 
00075 
00076 
00077