- 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
-