parallel-solver/it.unibo.tuprolog.argumentation.parallel.message

Package-level declarations

Types

data class EvaluationResponse(val inArgs: List<Response>, val outArgs: List<Response>, val undArgs: List<Response>, val error: String? = null) : KbMessage

To a client: the arguments for the statement it asked about, by label, or the error that kept it from an answer

KbMessage

sealed interface KbMessage

The messages between the nodes of a distributed solver: the catalog, the workers and the clients, each known by its address (see Address). On a machine the terms travel as they are (they are immutable, shared by the nodes without copies); the transports between processes write them as Prolog text (see MessageCodec).

Response

data class Response(val claim: String, val queryChain: List<String>)

An argument for the statement evaluated (claim, the statement), with the argument itself in queryChain (none for a statement no argument concludes), as Prolog text