parallel-solver/it.unibo.tuprolog.argumentation.parallel.cluster/ClusterSolver

ClusterSolver

A cluster as a solver of arg2p, as Arg2p is one, on the theory and the flags of the cluster: any goal solved as the standard solver solves it (buildLabelSets/3, answerQuery/4, the Prolog predicates of the theory, ...), one solution at a time, with the graph of each, and the answers of queries. The graph a goal needs is built by the workers of the cluster and of the sites it is federated with (the whole graph, or, in query mode, the part the statements it evaluates depend on, grown by the later ones), and labelled by the catalog of the cluster; the stages of a resolution are not kept, the graph of the last one alone.

Properties

output

var output: (String) -> Unit

Where what the solver prints goes, as the solutions are given: the standard output by default

Functions

answer

fun answer(query: String): Answer

The statements for query, Prolog text, labelled in, out and und (see answerQuery/4)

graph

fun graph(): Graph

The graph of the last solution given: the one of the last stage of its resolution (none before the first)

graphArray

fun graphArray(): Array<Graph>

The graph of each labelling of the theory (an array in JavaScript)

graphs

fun graphs(): List<Graph>

The graph of each labelling of the theory: one, or several for a semantics with several labellings (preferred, stable, ...)

solve

fun solve(goal: String): Solutions

The solutions of goal, Prolog text, given one at a time as they are asked for (the first one computed at once)

stop

fun stop()

Stops the goal being solved, from another thread: its solution waited for is a halt, at once (The evaluation was stopped), and the work of the cluster for it is given up; the next goals are solved as before. Nothing is done if no goal is being solved.