core/it.unibo.tuprolog.argumentation.core.runtime.modules

Package-level declarations

Types

DynamicLoader

class DynamicLoader(solver: Arg2pSolver) : ArgLibrary, ArgLoader

Module

class Module(val name: String, val libraries: Runtime)

A module of an arg2p solver: the libraries its goals are solved against, those of the solver and its own

Modules

class Modules(solver: Arg2pSolver)

The modules of an arg2p solver (its dynamic libraries), loaded on their first call: each solves its goals against the libraries of the solver, but for the other modules, and its own.

Functions

solveForCaller

fun Solver.solveForCaller(goal: Struct, options: SolveOptions): Sequence<Solution>

Solves goal on behalf of a primitive, whose caller needs the bindings of all the variables of the goal.