se.sics.jasper
Class SPPredicate
java.lang.Object
|
+--se.sics.jasper.SPPredicate
- public class SPPredicate
- extends java.lang.Object
Deprecated
Instead use module and predicate name as strings directly
or specify the goal as a string.
You should not inherit from SPPredicate
.
- See Also:
SICStus.query(java.lang.String, java.lang.String, se.sics.jasper.SPTerm[])
,
SICStus.queryCutFail(java.lang.String, java.lang.String, se.sics.jasper.SPTerm[])
,
SICStus.openQuery(java.lang.String, java.lang.String, se.sics.jasper.SPTerm[])
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SPPredicate
public SPPredicate(SICStus sp,
java.lang.String name,
int arity,
java.lang.String module)
throws SPException
- Deprecated Creates a predicate reference.
Instead use module and predicate name as strings directly
or specify the goal as a string.
- Parameters:
sp
- A reference to the SICStus object to which this
predicate belongs to.name
- The predicate's name.arity
- The arity of the predicate (in [0..255])module
- The module to use whe calling the predicate.
When calling the predicate the module (M) specified
is used as if the call was call(M:NAME(ARGS)). This means that
the module specified will affect calls to meta preciates and
goal expansion.
For backward compatibility module can be null or "" to signify
the type-in module but this use is deprecated (and slow).- Throws:
SPException
- The predicate reference could not be
created. The usual cause for this is that the predicate is not
defined (although detecting undefined predicates in this manner
is not guaranteed and will not happen by
default as of 3.8.5).
SPPredicate
public SPPredicate(SICStus sp,
SPCanonicalAtom name,
int arity,
SPCanonicalAtom module)
throws SPException
- Deprecated Creates a predicate reference.
Instead use module and predicate name as strings directly
or specify the goal as a string.
- Parameters:
sp
- A reference to the SICStus object to which this
predicate belongs to.name
- The predicate's name.arity
- The arity of the predicate (in [0..255])module
- The module to use whe calling the predicate.
When calling the predicate the module (M) specified
is used as if the call was call(M:NAME(ARGS)). This means that
the module specified will affect calls to meta preciates and
goal expansion.