amzi.ls
Class LogicServer

java.lang.Object
  |
  +--amzi.ls.LogicServer

public class LogicServer
extends java.lang.Object


Constructor Summary
LogicServer()
           
 
Method Summary
 void AddLSX(java.lang.String LSXName, long Arg)
           
 void AddPred(java.lang.String PredName, int Arity, java.lang.String Class, java.lang.String Method, java.lang.Object Obj)
           
 void Asserta(long Term)
           
 void AssertaStr(java.lang.String TermStr)
           
 void Assertz(long Term)
           
 void AssertzStr(java.lang.String TermStr)
           
 long Call(long Term)
           
 long CallStr(java.lang.String Query)
           
 void ClearCall()
           
 void Close()
           
 long Exec(long Term)
           
 long ExecStr(java.lang.String Query)
           
 long GetArg(long Term, int Num)
           
 int GetArgType(long Term, int Num)
           
 int GetArity(long Term)
           
 double GetFloatArg(long Term, int Num)
           
 double GetFloatHead(long ListTerm)
           
 double GetFloatParm(int iarg)
           
 double GetFloatTerm(long Term)
           
 java.lang.String GetFunctor(long Term)
           
 long GetHead(long ListTerm)
           
 int GetIntArg(long Term, int Num)
           
 int GetIntHead(long ListTerm)
           
 int GetIntParm(int iarg)
           
 int GetIntTerm(long Term)
           
 long GetParm(int iarg)
           
 int GetParmType(int iarg)
           
 java.lang.String GetStrArg(long Term, int Num)
           
 java.lang.String GetStrHead(long ListTerm)
           
 java.lang.String GetStrParm(int iarg)
           
 java.lang.String GetStrTerm(long Term)
           
 long GetTail(long ListTerm)
           
 int GetTermType(long Term)
           
 java.lang.String GetVersion()
           
 void Init(java.lang.String ININame)
           
 void Init2(java.lang.String INIParms)
           
 void InitLSX(long Arg)
           
 void Load(java.lang.String XPLName)
           
 boolean Main()
           
 long MakeAtom(java.lang.String AtomStr)
           
 long MakeFA(java.lang.String Functor, int Arity)
           
 long MakeFloat(double Num)
           
 long MakeInt(int Num)
           
 long MakeList()
           
 long MakeStr(java.lang.String Str)
           
 long PushList(long ListTerm, long Term)
           
 boolean Redo()
           
 void Reset()
           
 long Retract(long Term)
           
 boolean RetractStr(java.lang.String TermStr)
           
 int StrArgLen(long Term, int Num)
           
 int StrTermLen(long Term)
           
 long StrToTerm(java.lang.String TermStr)
           
 java.lang.String TermToStr(long Term, int Len)
           
 java.lang.String TermToStrQ(long Term, int Len)
           
 long UnifyFloatArg(long Term, int Num, double Val)
           
 boolean UnifyFloatParm(int iarg, double f)
           
 long UnifyIntArg(long Term, int Num, int Val)
           
 boolean UnifyIntParm(int iarg, int i)
           
 boolean UnifyParm(int iarg, long Term)
           
 long UnifyStrArg(long Term, int Num, java.lang.String Str)
           
 boolean UnifyStrParm(int iarg, java.lang.String s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LogicServer

public LogicServer()
Method Detail

Init

public void Init(java.lang.String ININame)
          throws LSException

Init2

public void Init2(java.lang.String INIParms)
           throws LSException

InitLSX

public void InitLSX(long Arg)
             throws LSException

AddLSX

public void AddLSX(java.lang.String LSXName,
                   long Arg)
            throws LSException

AddPred

public void AddPred(java.lang.String PredName,
                    int Arity,
                    java.lang.String Class,
                    java.lang.String Method,
                    java.lang.Object Obj)
             throws LSException

Load

public void Load(java.lang.String XPLName)
          throws LSException

Main

public boolean Main()
             throws LSException

Reset

public void Reset()
           throws LSException

Close

public void Close()
           throws LSException

Exec

public long Exec(long Term)
          throws LSException

ExecStr

public long ExecStr(java.lang.String Query)
             throws LSException

Call

public long Call(long Term)
          throws LSException

CallStr

public long CallStr(java.lang.String Query)
             throws LSException

Redo

public boolean Redo()
             throws LSException

ClearCall

public void ClearCall()
               throws LSException

Asserta

public void Asserta(long Term)
             throws LSException

Assertz

public void Assertz(long Term)
             throws LSException

Retract

public long Retract(long Term)
             throws LSException

AssertaStr

public void AssertaStr(java.lang.String TermStr)
                throws LSException

AssertzStr

public void AssertzStr(java.lang.String TermStr)
                throws LSException

RetractStr

public boolean RetractStr(java.lang.String TermStr)
                   throws LSException

TermToStr

public java.lang.String TermToStr(long Term,
                                  int Len)
                           throws LSException

TermToStrQ

public java.lang.String TermToStrQ(long Term,
                                   int Len)
                            throws LSException

StrToTerm

public long StrToTerm(java.lang.String TermStr)
               throws LSException

StrTermLen

public int StrTermLen(long Term)
               throws LSException

MakeAtom

public long MakeAtom(java.lang.String AtomStr)
              throws LSException

MakeStr

public long MakeStr(java.lang.String Str)
             throws LSException

MakeInt

public long MakeInt(int Num)
             throws LSException

MakeFloat

public long MakeFloat(double Num)
               throws LSException

GetTermType

public int GetTermType(long Term)
                throws LSException

GetStrTerm

public java.lang.String GetStrTerm(long Term)
                            throws LSException

GetIntTerm

public int GetIntTerm(long Term)
               throws LSException

GetFloatTerm

public double GetFloatTerm(long Term)
                    throws LSException

GetParmType

public int GetParmType(int iarg)
                throws LSException

GetParm

public long GetParm(int iarg)
             throws LSException

GetStrParm

public java.lang.String GetStrParm(int iarg)
                            throws LSException

GetIntParm

public int GetIntParm(int iarg)
               throws LSException

GetFloatParm

public double GetFloatParm(int iarg)
                    throws LSException

UnifyParm

public boolean UnifyParm(int iarg,
                         long Term)
                  throws LSException

UnifyStrParm

public boolean UnifyStrParm(int iarg,
                            java.lang.String s)
                     throws LSException

UnifyIntParm

public boolean UnifyIntParm(int iarg,
                            int i)
                     throws LSException

UnifyFloatParm

public boolean UnifyFloatParm(int iarg,
                              double f)
                       throws LSException

GetFunctor

public java.lang.String GetFunctor(long Term)
                            throws LSException

GetArity

public int GetArity(long Term)
             throws LSException

MakeFA

public long MakeFA(java.lang.String Functor,
                   int Arity)
            throws LSException

GetArg

public long GetArg(long Term,
                   int Num)
            throws LSException

GetStrArg

public java.lang.String GetStrArg(long Term,
                                  int Num)
                           throws LSException

GetIntArg

public int GetIntArg(long Term,
                     int Num)
              throws LSException

GetFloatArg

public double GetFloatArg(long Term,
                          int Num)
                   throws LSException

UnifyStrArg

public long UnifyStrArg(long Term,
                        int Num,
                        java.lang.String Str)
                 throws LSException

UnifyIntArg

public long UnifyIntArg(long Term,
                        int Num,
                        int Val)
                 throws LSException

UnifyFloatArg

public long UnifyFloatArg(long Term,
                          int Num,
                          double Val)
                   throws LSException

GetArgType

public int GetArgType(long Term,
                      int Num)
               throws LSException

StrArgLen

public int StrArgLen(long Term,
                     int Num)
              throws LSException

MakeList

public long MakeList()
              throws LSException

PushList

public long PushList(long ListTerm,
                     long Term)
              throws LSException

GetHead

public long GetHead(long ListTerm)
             throws LSException

GetStrHead

public java.lang.String GetStrHead(long ListTerm)
                            throws LSException

GetIntHead

public int GetIntHead(long ListTerm)
               throws LSException

GetFloatHead

public double GetFloatHead(long ListTerm)
                    throws LSException

GetTail

public long GetTail(long ListTerm)
             throws LSException

GetVersion

public java.lang.String GetVersion()
                            throws LSException