amzi.ls
Class LogicServer
java.lang.Object
|
+--amzi.ls.LogicServer
- public class LogicServer
- extends java.lang.Object
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 |
LogicServer
public LogicServer()
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