Package | Description |
---|---|
com.ugos.jiprolog.engine | |
com.ugos.jiprolog.extensions.io | |
com.ugos.jiprolog.extensions.terms |
Modifier and Type | Method and Description |
---|---|
static JIPVariable |
JIPVariable.create()
Creates a new anonimous Variable
|
static JIPVariable |
JIPVariable.create(String strName)
Creates a new Variable
|
JIPVariable[] |
JIPTerm.getVariables()
Gets an array of JIPVariable objects containing the variables in this JIPTerm object
|
Modifier and Type | Method and Description |
---|---|
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.
|
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 |
StreamProperty3.unify(JIPCons params,
Hashtable<JIPVariable,JIPVariable> varsTbl) |
boolean |
StreamProperty3.unify(JIPCons params,
Hashtable<JIPVariable,JIPVariable> varsTbl) |
boolean |
StreamHandle1.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) |
boolean |
CopyOfStreamProperty3.unify(JIPCons params,
Hashtable<JIPVariable,JIPVariable> varsTbl) |
Modifier and Type | Method and Description |
---|---|
boolean |
Name2.unify(JIPCons input,
Hashtable<JIPVariable,JIPVariable> varsTbl) |
boolean |
Name2.unify(JIPCons input,
Hashtable<JIPVariable,JIPVariable> varsTbl) |