arg2p
Toggle table of contents
0.21.1-dev01-41c41f1
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
arg2p
parallel-solver
/
it.unibo.tuprolog.argumentation.parallel.cluster
/
ThreadedCluster
/
add
add
jvm
fun
add
(
clause
:
String
)
Adds
clause
, as Prolog text, to the theory