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[])

Constructor Summary

Constructors

Constructor and Description
SPPredicate(SICStus sp, SPCanonicalAtom name, int arity, SPCanonicalAtom module) Deprecated Creates a predicate reference.
SPPredicate(SICStus sp, java.lang.String name, int arity, java.lang.String module) Deprecated Creates a predicate reference.

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

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.

Throws:

SPException - if an Prolog exception was thrown