Skip navigation links
A B C D E F G H I J L M N O P Q R S T U V W X 

H

halt(int) - Static method in class org.jpl7.fli.Prolog
 
halt() - Static method in class org.jpl7.JPL
Deprecated. 
hasFunctor(String, int) - Method in class org.jpl7.Atom
Tests whether this Compound's functor has (String) 'name' and 'arity'.
hasFunctor(String, int) - Method in class org.jpl7.Compound
Tests whether this Compound's functor has (String) 'name' and 'arity'.
hasFunctor(double, int) - Method in class org.jpl7.Float
Tests whether this Float's functor has (double) 'name' and 'arity'
hasFunctor(int, int) - Method in class org.jpl7.Integer
whether this Integer's functor has (int) 'name' and 'arity' (c.f. traditional functor/3)
hasFunctor(String, int) - Method in class org.jpl7.JRef
Deprecated.
 
hasFunctor(String, int) - Method in class org.jpl7.Term
Tests whether this Term's functor has (String) 'name' and 'arity' Returns false if called inappropriately
hasFunctor(int, int) - Method in class org.jpl7.Term
Tests whether this Term's functor has (int) 'name' and 'arity' Returns false if called inappropriately
hasFunctor(double, int) - Method in class org.jpl7.Term
Tests whether this Term's functor has (double) 'name' and 'arity' Returns false if called inappropriately
hasFunctor(String, int) - Method in class org.jpl7.Variable
 
hasFunctor(int, int) - Method in class org.jpl7.Variable
 
hasFunctor(double, int) - Method in class org.jpl7.Variable
 
hash - Variable in class org.jpl7.util.HashedRefsEntry
 
HashedRefs - Class in org.jpl7.util
 
HashedRefs(int, float) - Constructor for class org.jpl7.util.HashedRefs
 
HashedRefs(int) - Constructor for class org.jpl7.util.HashedRefs
 
HashedRefs() - Constructor for class org.jpl7.util.HashedRefs
 
HashedRefsEntry - Class in org.jpl7.util
HashedRefs collision list.
HashedRefsEntry() - Constructor for class org.jpl7.util.HashedRefsEntry
 
hasMoreElements() - Method in class org.jpl7.Query
This method implements part of the java.util.Enumeration interface.
hasMoreSolutions() - Method in class org.jpl7.Query
This method returns true if JPL was able to initiate a "call" of this Query within a Prolog engine.
hasNext() - Method in class org.jpl7.Query
whether this Query has a (further) solution
hasSolution() - Method in class org.jpl7.Query
This method will attempt to call this Query's goal within an available Prolog engine.
hasSolution(Term) - Static method in class org.jpl7.Query
This static method creates a Query (whose goal is the specified Term) and calls it at most once, returning true if a solution was found, else false.
hasSolution(String) - Static method in class org.jpl7.Query
This static method creates a Query from the given Prolog source text and calls it at most once, returning true if a solution was found, else false.
hasSolution(String, Term[]) - Static method in class org.jpl7.Query
If text denotes (in traditional Prolog source syntax) a term containing N questionmark (?)
hello() - Static method in class org.jpl7.test.Test
 
hostModule - Variable in class org.jpl7.Query
 
A B C D E F G H I J L M N O P Q R S T U V W X 
Skip navigation links