gui/it.unibo.tuprolog.ui.gui.presentation/SolutionPresentation

SolutionPresentation

One outcome of resolving a query, already formatted as display-ready text so a frontend never needs to know about the underlying Term/Solution types.

Inheritors

Yes

Halt

Types

Halt

data class Halt(val query: String, val message: String, val logicStackTrace: List<String> = emptyList(), val isTimeout: Boolean = false) : SolutionPresentation

The resolution was aborted, e.g. by an exception or a timeout (isTimeout).

data class No(val query: String) : SolutionPresentation

The goal failed.

Yes

data class Yes(val query: String, val bindings: List<BindingPresentation> = emptyList(), val solvedQuery: String? = null, val metadata: Map<String, String> = emptyMap()) : SolutionPresentation

The goal succeeded; solvedQuery/bindings are pre-formatted, and metadata carries any extension's per-solution extras (e.g. PLP's probability), keyed by a well-known string name.

Properties

query

abstract val query: String

The query text this solution answers.