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

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

Constructors

Response

constructor(claim: String, queryChain: List<String>)

Properties

claim

val claim: String

queryChain

val queryChain: List<String>

queryChainArray

val queryChainArray: Array<String>

The argument, as Prolog text (an array in JavaScript)