Modifier and Type | Field and Description |
---|---|
static JIPCons |
JIPCons.NIL
Empty cons or nil
|
Modifier and Type | Method and Description |
---|---|
static JIPCons |
JIPCons.append(JIPCons cons1,
JIPCons cons2)
Returns a new JIPCons object by appending cons2 to cons1
|
static JIPCons |
JIPCons.create(JIPTerm head,
JIPTerm tail)
Creates a new cons object
|
JIPCons |
JIPClause.getBody()
Returns the body of this JIPClause object
|
JIPCons |
JIPFunctor.getParams()
Returns the list of parameters of this JIPFunctor object
|
JIPCons |
JIPCons.reverse()
Returns a new JIPCons object by reversing this JIPCons object
|
Modifier and Type | Method and Description |
---|---|
static JIPCons |
JIPCons.append(JIPCons cons1,
JIPCons cons2)
Returns a new JIPCons object by appending cons2 to cons1
|
static JIPClause |
JIPClause.create(JIPFunctor head,
JIPCons body)
Creates a new JIPClause object
|
static JIPFunctor |
JIPFunctor.create(String strName,
JIPCons params)
Creates a new JIPFunctor object
|
abstract boolean |
JIPXCall.unify(JIPCons params,
Hashtable<JIPVariable,JIPVariable> varsTbl)
Invoked by xcall/2 to check if the custom predicate unify with the passed parameters
For more information see the section "How to write a custom built-in predicate" in the Reference Manual.
|
Modifier and Type | Method and Description |
---|---|
boolean |
JIPThrow1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
JIPCatch3.unify(JIPCons params,
Hashtable varsTbl) |
Modifier and Type | Method and Description |
---|---|
boolean |
Writeq2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
WriteCanonical2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
Write2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
Told1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
Tell2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
StreamPosition3.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
SetOutput1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
SetInput1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
Seen1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
See2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
RenameFile2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
Read2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
PeekByte2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
Nl1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
MakeDirectory1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
Get02.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
FlushOutput1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
FileAttributes7.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
EOF1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
Dir1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
DeleteFile1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
CurrentStream1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
CurrentOutput1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
CurrentInput1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
CharAtom2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
Append2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
AccessFile2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
AbsoluteFileName2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
StreamProperty3.unify(JIPCons params,
Hashtable<JIPVariable,JIPVariable> varsTbl) |
boolean |
StreamHandle1.unify(JIPCons params,
Hashtable<JIPVariable,JIPVariable> varsTbl) |
boolean |
CopyOfStreamProperty3.unify(JIPCons params,
Hashtable<JIPVariable,JIPVariable> varsTbl) |
Modifier and Type | Method and Description |
---|---|
boolean |
JIPSet3.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
JIPReleaseObject1.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
JIPInvoke4.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
JIPGetMethods2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
JIPGetFields2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
JIPGetConstructors2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
JIPGetClass2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
JIPGet3.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
JIPCreateObject3.unify(JIPCons params,
Hashtable varsTbl) |
Modifier and Type | Method and Description |
---|---|
boolean |
Findall3.unify(JIPCons input,
Hashtable varsTbl) |
boolean |
Bagof3.unify(JIPCons input,
Hashtable varsTbl) |
Modifier and Type | Method and Description |
---|---|
boolean |
Time8.unify(JIPCons input,
Hashtable varsTbl) |
boolean |
Statistics0.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
Sleep1.unify(JIPCons input,
Hashtable varsTbl) |
boolean |
Shell2.unify(JIPCons input,
Hashtable varsTbl) |
boolean |
Gensym2.unify(JIPCons input,
Hashtable varsTbl) |
Modifier and Type | Method and Description |
---|---|
boolean |
Vars2.unify(JIPCons input,
Hashtable varsTbl) |
boolean |
Numbervars3.unify(JIPCons input,
Hashtable varsTbl) |
boolean |
FreeVariables2.unify(JIPCons input,
Hashtable varsTbl) |
boolean |
CopyTerm2.unify(JIPCons input,
Hashtable varsTbl) |
boolean |
Name2.unify(JIPCons input,
Hashtable<JIPVariable,JIPVariable> varsTbl) |
Modifier and Type | Method and Description |
---|---|
boolean |
XMLRead2.unify(JIPCons params,
Hashtable varsTbl) |
boolean |
XMLRead1.unify(JIPCons input,
Hashtable varsTbl) |