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

AsyncClusterSolver

A cluster of JavaScript as a solver of arg2p, as Arg2p is one, its answers promised as the workers compute them (see ClusterSolver): any goal solved as the standard solver solves it, one solution at a time, with the graph of each, and the answers of queries

Properties

output

var output: (String) -> Unit

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

Functions

answer

fun answer(query: String): Promise<Answer>

The statements for query, Prolog text, labelled in, out and und (rejected if the evaluation halts)

graph

fun graph(): Graph

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

graphs

fun graphs(): Promise<Array<Graph>>

The graph of each labelling of the theory (rejected if the evaluation halts)

solve

fun solve(goal: String): Promise<AsyncSolutions>

The solutions of goal, Prolog text, given one at a time as they are asked for (rejected for a goal that cannot be read)

stop

fun stop()

Stops the goal being solved: the solution promised is a halt, at once (The evaluation was stopped), as the other halts of a goal, 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.