: Class LogicServer

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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