Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
gnu.prolog.vm.PrologException

Packages that use PrologException
gnu.prolog.demo.mentalarithmetic | This package contains a simple demo program showing how to use gnu.prolog in java programs in order to do backtracking search.
gnu.prolog.io | Classes used for IO
gnu.prolog.vm | The Virtual Machine which is used to run the prolog code.
gnu.prolog.vm.buildins.allsolutions |
gnu.prolog.vm.buildins.arithmetics |
gnu.prolog.vm.buildins.atomicterms |
gnu.prolog.vm.buildins.database |
gnu.prolog.vm.buildins.datetime |
gnu.prolog.vm.buildins.debug |
gnu.prolog.vm.buildins.dialogs |
gnu.prolog.vm.buildins.imphooks |
gnu.prolog.vm.buildins.io |
gnu.prolog.vm.buildins.java |
gnu.prolog.vm.buildins.list |
gnu.prolog.vm.buildins.misc |
gnu.prolog.vm.buildins.termcomparsion |
gnu.prolog.vm.buildins.termcreation |
gnu.prolog.vm.buildins.typetesting |
gnu.prolog.vm.buildins.unification |
gnu.prolog.vm.buildins.uuid |
gnu.prolog.vm.interpreter | `InterpretedCodeCompiler` uses the various classes beginning with I and extending `Instruction` in the `instruction` sub-package to compile clauses to `InterpretedByteCode`.
gnu.prolog.vm.interpreter.instruction |

Uses of PrologException in gnu.prolog.demo.mentalarithmetic

Methods in gnu.prolog.demo.mentalarithmetic that throw PrologException
`static Pair<String,Integer>` | `MentalArithmetic.generateQuestion(int limit, int length)`

Uses of PrologException in gnu.prolog.io

Methods in gnu.prolog.io that throw PrologException
`void` | `PrologStream.checkExists()`
`void` | `TextOutputPrologStream.close(boolean force)`
`void` | `PrologStream.close(boolean force)`
`void` | `TextInputPrologStream.close(boolean force)`
`void` | `BinaryPrologStream.close(boolean force)`
`void` | `TextOutputPrologStream.flushOutput(Term streamTerm)`
`abstract void` | `PrologStream.flushOutput(Term streamTerm)`
`void` | `TextInputPrologStream.flushOutput(Term streamTerm)`
`void` | `BinaryPrologStream.flushOutput(Term streamTerm)`
`int` | `TextOutputPrologStream.getByte(Term streamTerm, Interpreter interptreter)`
`abstract int` | `PrologStream.getByte(Term streamTerm, Interpreter interpreter)`
`int` | `TextInputPrologStream.getByte(Term streamTerm, Interpreter interptreter)`
`int` | `BinaryPrologStream.getByte(Term streamTerm, Interpreter interptreter)`
`int` | `TextOutputPrologStream.getCode(Term streamTerm, Interpreter interptreter)`
`abstract int` | `PrologStream.getCode(Term streamTerm, Interpreter interpreter)`
`int` | `TextInputPrologStream.getCode(Term streamTerm, Interpreter interptreter)`
`int` | `BinaryPrologStream.getCode(Term streamTerm, Interpreter interptreter)`
`Term` | `PrologStream.getEndOfStreamState()`
`Term` | `BinaryPrologStream.getEndOfStreamState()`
`Term` | `TextOutputPrologStream.getPosition(Term streamTerm, Interpreter interptreter)`
`abstract Term` | `PrologStream.getPosition(Term streamTerm, Interpreter interpreter)`
`Term` | `TextInputPrologStream.getPosition(Term streamTerm, Interpreter interptreter)`
`Term` | `BinaryPrologStream.getPosition(Term streamTerm, Interpreter interptreter)`
`void` | `PrologStream.getProperties(List<Term> list)`
`int` | `TextOutputPrologStream.peekByte(Term streamTerm, Interpreter interptreter)`
`abstract int` | `PrologStream.peekByte(Term streamTerm, Interpreter interpreter)`
`int` | `TextInputPrologStream.peekByte(Term streamTerm, Interpreter interptreter)`
`int` | `BinaryPrologStream.peekByte(Term streamTerm, Interpreter interptreter)`
`int` | `TextOutputPrologStream.peekCode(Term streamTerm, Interpreter interptreter)`
`abstract int` | `PrologStream.peekCode(Term streamTerm, Interpreter interpreter)`
`int` | `TextInputPrologStream.peekCode(Term streamTerm, Interpreter interptreter)`
`int` | `BinaryPrologStream.peekCode(Term streamTerm, Interpreter interptreter)`
`void` | `TextOutputPrologStream.putByte(Term streamTerm, Interpreter interptreter, int _byte)`
`abstract void` | `PrologStream.putByte(Term streamTerm, Interpreter interpreter, int _byte)`
`void` | `TextInputPrologStream.putByte(Term streamTerm, Interpreter interptreter, int _byte)`
`void` | `BinaryPrologStream.putByte(Term streamTerm, Interpreter interptreter, int _byte)`
`void` | `TextOutputPrologStream.putCode(Term streamTerm, Interpreter interptreter, int code)`
`abstract void` | `PrologStream.putCode(Term streamTerm, Interpreter interpreter, int code)`
`void` | `TextInputPrologStream.putCode(Term streamTerm, Interpreter interptreter, int code)`
`void` | `BinaryPrologStream.putCode(Term streamTerm, Interpreter interptreter, int code)`
`void` | `TextOutputPrologStream.putCodeSequence(Term streamTerm, Interpreter interptreter, String seq)`
`abstract void` | `PrologStream.putCodeSequence(Term streamTerm, Interpreter interpreter, String seq)`
`void` | `TextInputPrologStream.putCodeSequence(Term streamTerm, Interpreter interptreter, String seq)`
`void` | `BinaryPrologStream.putCodeSequence(Term streamTerm, Interpreter interptreter, String seq)`
`Term` | `TextOutputPrologStream.readTerm(Term streamTerm, Interpreter interptreter, ReadOptions options)`
`abstract Term` | `PrologStream.readTerm(Term streamTerm, Interpreter interpreter, ReadOptions options)`
`Term` | `TextInputPrologStream.readTerm(Term streamTerm, Interpreter interptreter, ReadOptions options)`
`Term` | `BinaryPrologStream.readTerm(Term streamTerm, Interpreter i, ReadOptions o)`
`void` | `TextOutputPrologStream.setPosition(Term streamTerm, Interpreter interptreter, Term position)`
`abstract void` | `PrologStream.setPosition(Term streamTerm, Interpreter interpreter, Term pos)`
`void` | `TextInputPrologStream.setPosition(Term streamTerm, Interpreter interptreter, Term position)`
`void` | `BinaryPrologStream.setPosition(Term streamTerm, Interpreter interptreter, Term position)`
`void` | `TextOutputPrologStream.writeTerm(Term streamTerm, Interpreter interptreter, WriteOptions options, Term term)`
`abstract void` | `PrologStream.writeTerm(Term streamTerm, Interpreter interpreter, WriteOptions options, Term term)`
`void` | `TextInputPrologStream.writeTerm(Term streamTerm, Interpreter interptreter, WriteOptions options, Term term)`
`void` | `BinaryPrologStream.writeTerm(Term streamTerm, Interpreter i, WriteOptions o, Term t)`

Constructors in gnu.prolog.io that throw PrologException
`BinaryPrologStream(AtomTerm fileAtom, AtomTerm mode, PrologStream.OpenOptions options)`
`TextInputPrologStream(PrologStream.OpenOptions options, Reader rd)`

Uses of PrologException in gnu.prolog.vm

Methods in gnu.prolog.vm that throw PrologException
`boolean` | `Environment.close(PrologStream stream)`
`static void` | `PrologException.domainError(AtomTerm errorType, Term errorTerm)`
`static Term` | `Evaluate.evaluate(Term term)`
`static void` | `PrologException.evalutationError(AtomTerm error)`
`int` | `Interpreter.execute(Interpreter.Goal goal)` Execute the `Interpreter.Goal` and return the status code indicating how successful this was.
`int` | `UndefinedPredicateCode.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`abstract int` | `ExecuteOnlyCode.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `PrologCode.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)` this method is used for execution of code
`static void` | `PrologException.existenceError(AtomTerm errorType, Term errorTerm)`
`PrologStream` | `Environment.getCurrentInput()`
`PrologStream` | `Environment.getCurrentOutput()`
`PrologCode` | `Environment.getPrologCode(CompoundTermTag tag)` get prolog code
`Map<PrologStream,List<Term>>` | `Environment.getStreamProperties()`
`PrologStream` | `Environment.getUserInput()`
`PrologStream` | `Environment.getUserOutput()`
`static void` | `PrologException.instantiationError()`
`PrologCode` | `Environment.loadPrologCode(CompoundTermTag tag)` load code for prolog
`int` | `PrologCollectionIterator.nextSolution(Interpreter interpreter)` Get the next value
`Term` | `Environment.open(AtomTerm source_sink, AtomTerm mode, PrologStream.OpenOptions options)`
`static void` | `PrologException.permissionError(AtomTerm operation, AtomTerm permissionType, Term culprit)`
`static void` | `PrologException.representationError(Term errorTerm)`
`PrologStream` | `Environment.resolveStream(Term stream_or_alias)`
`int` | `Interpreter.runOnce(Term goalTerm)` Run the provided goalTerm once returning the value returned by `Interpreter.execute(Goal)` and then stop the goal.
`void` | `Environment.setCurrentInput(PrologStream stream)`
`void` | `Environment.setCurrentOutput(PrologStream stream)`
`void` | `Environment.setPrologFlag(AtomTerm flag, Term newValue)`
`int` | `Interpreter.simpleUnify(Term t1, Term t2)` unify two terms, no undo done
`static void` | `PrologException.syntaxError(AtomTerm term)`
`static void` | `PrologException.syntaxError(AtomTerm term, Throwable inner)`
`static void` | `PrologException.syntaxError(ParseException ex)`
`static void` | `PrologException.systemError()`
`static void` | `PrologException.systemError(Throwable inner)`
`static void` | `PrologException.typeError(AtomTerm errorType, Term errorTerm)`
`protected static void` | `Evaluate.typeTestInt(Term term)` Test the term for an integer term
`int` | `Interpreter.unify(Term t1, Term t2)` unify two terms

Uses of PrologException in gnu.prolog.vm.buildins.allsolutions

Methods in gnu.prolog.vm.buildins.allsolutions that throw PrologException
`static void` | `Predicate_findall.checkList(Term list)` Check that list is a valid Prolog list (including an uninstantiated variable)
`int` | `Predicate_bagof.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_findall.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`static int` | `Predicate_findall.findall(Interpreter interpreter, boolean backtrackMode, Term template, Term goal, List<Term> list)`
`int` | `Predicate_bagof.nextSolution(Interpreter interpreter, gnu.prolog.vm.buildins.allsolutions.Predicate_bagof.BagOfBacktrackInfo bi)`

Uses of PrologException in gnu.prolog.vm.buildins.arithmetics

Methods in gnu.prolog.vm.buildins.arithmetics that throw PrologException
`int` | `Predicate_not_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_greater_than.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_less_than_or_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_greater_than_or_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_less_than.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_is.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`

Uses of PrologException in gnu.prolog.vm.buildins.atomicterms

Methods in gnu.prolog.vm.buildins.atomicterms that throw PrologException
`int` | `Predicate_number_chars.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_atom_concat.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_atom_chars.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_number_codes.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_char_code.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_sub_atom.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_atom_codes.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_atom_length.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`

Uses of PrologException in gnu.prolog.vm.buildins.database

Methods in gnu.prolog.vm.buildins.database that throw PrologException
`int` | `Predicate_abolish.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_current_predicate.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_clause.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_retract.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_assert.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`static Term` | `Predicate_assert.prepareBody(Term body, Term term)`

Uses of PrologException in gnu.prolog.vm.buildins.datetime

Methods in gnu.prolog.vm.buildins.datetime that throw PrologException
`int` | `Predicate_stamp_date_time.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_format_time.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_date_time_stamp.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_date_time_value.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_parse_time.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_get_time.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`static Date` | `DateTimePrologCode.getDate(Term term)`
`protected Term` | `Predicate_date_time_value.getDate9Value(Term keyTerm, CompoundTerm date9)`
`protected int` | `Predicate_date_time_value.nextSolution(Interpreter interpreter, gnu.prolog.vm.buildins.datetime.Predicate_date_time_value.Date9BacktrackInfo bi)`

Uses of PrologException in gnu.prolog.vm.buildins.debug

Methods in gnu.prolog.vm.buildins.debug that throw PrologException
`int` | `Predicate_nospyall.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_trace.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_spy.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_debugging.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_nospy.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_notrace.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_tracing.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`static CompoundTermTag` | `Predicate_spy.getTag(Term term)`
`static EnumSet<Tracer.TraceLevel>` | `Predicate_spy.getTraceLevel(Term term)`
`protected void` | `Predicate_spy.setSpyPoint(Interpreter interpreter, CompoundTermTag tag, Term arg)`

Uses of PrologException in gnu.prolog.vm.buildins.dialogs

Methods in gnu.prolog.vm.buildins.dialogs that throw PrologException
`protected JFileChooser` | `Predicate_file_save.createFileDialog(Term[] args)`
`int` | `Predicate_prompt.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_message.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_confirm.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_file_open.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_file_save.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`protected Predicate_dialog.DialogOptions` | `Predicate_dialog.processOptions(Term optionsList)` Process dialog options

Constructors in gnu.prolog.vm.buildins.dialogs that throw PrologException
`TermFileFilter(Term term)`

Uses of PrologException in gnu.prolog.vm.buildins.imphooks

Methods in gnu.prolog.vm.buildins.imphooks that throw PrologException
`int` | `Predicate_set_prolog_flag.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_halt.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)` this method is used for execution of code Halts execution by throwing `PrologHalt` DO NOT catch this.
`int` | `Predicate_current_prolog_flag.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`

Uses of PrologException in gnu.prolog.vm.buildins.io

Methods in gnu.prolog.vm.buildins.io that throw PrologException
`int` | `Predicate_current_input.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_current_output.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_flush_output.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)` this method is used for execution of code
`int` | `Predicate_set_stream_position.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_set_output.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_peek_char.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_op.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_current_op.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_get_byte.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_ensure_loaded.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_read_term.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_set_input.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_at_end_of_stream.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_put_char.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_char_conversion.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_stream_property.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_peek_byte.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_put_byte.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_current_char_conversion.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_write_term.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_get_char.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_open.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_close.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`

Uses of PrologException in gnu.prolog.vm.buildins.java

Methods in gnu.prolog.vm.buildins.java that throw PrologException
`int` | `Predicate_java_classname.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_java_to_string.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`

Uses of PrologException in gnu.prolog.vm.buildins.list

Methods in gnu.prolog.vm.buildins.list that throw PrologException
`int` | `Predicate_msort.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_member.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_predsort.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_append.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_sort.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_is_list.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_length.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`protected Comparator<? super Term>` | `Predicate_predsort.getComparator(Interpreter interpreter, Term sorter)`
`protected int` | `Predicate_append.nextSolution(Interpreter interpreter, Predicate_append.AppendBacktrackInfo bi)`
`protected int` | `Predicate_member.nextSolution(Interpreter interpreter, Predicate_member.MemberBacktrackInfo bi)`

Uses of PrologException in gnu.prolog.vm.buildins.misc

Methods in gnu.prolog.vm.buildins.misc that throw PrologException
`int` | `Predicate_stacktrace.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_current_functor.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_listing.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`

Uses of PrologException in gnu.prolog.vm.buildins.termcomparsion

Methods in gnu.prolog.vm.buildins.termcomparsion that throw PrologException
`int` | `Predicate_term_greater_then_or_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_term_not_identical.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_term_less_then_or_equal.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_term_less_then.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_compare.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_term_greater_then.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_term_identical.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`

Uses of PrologException in gnu.prolog.vm.buildins.termcreation

Methods in gnu.prolog.vm.buildins.termcreation that throw PrologException
`int` | `Predicate_arg.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_univ.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_copy_term.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_functor.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`

Uses of PrologException in gnu.prolog.vm.buildins.typetesting

Methods in gnu.prolog.vm.buildins.typetesting that throw PrologException
`int` | `Predicate_atom.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_compound.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_nonvar.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_atomic.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_number.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_var.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_float.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_java_object.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_integer.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`

Uses of PrologException in gnu.prolog.vm.buildins.unification

Methods in gnu.prolog.vm.buildins.unification that throw PrologException
`int` | `Predicate_not_unifiable.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_unify_with_occurs_check.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_unify.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`

Uses of PrologException in gnu.prolog.vm.buildins.uuid

Methods in gnu.prolog.vm.buildins.uuid that throw PrologException
`int` | `Predicate_uuid_variant.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_uuid_compare.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_uuid_version.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_uuid3.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`int` | `Predicate_uuid4.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`static UUID` | `Predicate_uuid.getUUID(Term value)` Get the UUID from an atom term.

Uses of PrologException in gnu.prolog.vm.interpreter

Methods in gnu.prolog.vm.interpreter that throw PrologException
`static PrologCode` | `InterpretedCodeCompiler.compile(List<Term> passedClauses)` compile set of clauses to interpreted code
`int` | `InterpretedByteCode.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)` this method is used for execution of code
`int` | `Predicate_call.execute(Interpreter interpreter, boolean backtrackMode, Term[] args)`
`static int` | `Predicate_call.staticExecute(Interpreter interpreter, boolean backtrackMode, Term arg)` this method is used for execution of code

Uses of PrologException in gnu.prolog.vm.interpreter.instruction

Methods in gnu.prolog.vm.interpreter.instruction that throw PrologException
`protected void` | `ICall.ensureLoaded(Environment env)` ensure that code is loaded in predicate
`int` | `IFail.execute(ExecutionState state, BacktrackInfo backtrackInfo)` execute call instruction within specified sate
`int` | `ISaveState.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IAllocate.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IUnify.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IStoreEnvironment.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `ICreateCompoundTerm.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `ITrue.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `ITryMeElse.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IRetryMeElse.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `ITrustMe.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IJump.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `ICreateVariable.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `ICut.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `ICall.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IPop.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`abstract int` | `Instruction.execute(ExecutionState state, BacktrackInfo bi)` execute instruction
`int` | `IReturn.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IPushArgument.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `ISaveCut.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IPushEnvironment.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IPushConstant.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IDup.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IRestoreState.execute(ExecutionState state, BacktrackInfo bi)` execute call instruction within specified sate
`int` | `IThrow.execute(ExecutionState state, BacktrackInfo backtrackInfo)` execute call instruction within specified sate

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV NEXT | FRAMES NO FRAMES