Halt

data class Halt: Solution

A class representing a failed (halted) solution because of an exception

Fields

Name Description
val query: Struct

The query to which the solution refers

val exception: TuPrologRuntimeException

The exception that made the resolution to halt

Constructors

<init>

constructor(signature: Signature, arguments: List<Term>, exception: TuPrologRuntimeException)

Parameters

Name Description
signature: Signature
arguments: List<Term>
exception: TuPrologRuntimeException

<init>

constructor(query: Struct, exception: TuPrologRuntimeException)

A class representing a failed (halted) solution because of an exception

Parameters

Name Description
query: Struct
exception: TuPrologRuntimeException