API

Everything arg2p exposes, by the way it is used:

  • Engine predicates: the predicates a theory is queried with, as buildLabelSets, answerQuery and solve.
  • Flags: the flags configuring the evaluation (semantics, graph building, preferences, query mode).
  • Kotlin: using arg2p from Kotlin or Java (the solvers, the results, the DSL).
  • JavaScript: using arg2p from JavaScript, through the npm package.
  • Python: using arg2p from Python, the library of the JVM through JPype.
  • Prolog modules: every predicate of the Prolog modules, generated from their sources.
  • Kotlin & JS reference: every class and function of the Kotlin libraries, generated by Dokka.

The Causality and Actor solver pages describe the predicates of the two solvers built on arg2p, and the Parallel solver page the classes of the parallel one.

Parallel Solver Engine predicates