core/it.unibo.tuprolog.argumentation.core.primitives.extra/CallModule

CallModule

object CallModule : Primitive

call_module(+Modules, +Goal): Goal solved on the theories of Modules alone, loaded in their order. Each module is the name of a file in the modules path (flag modulesPath), or a location, a URL or a path with .pl. An error raised within the modules is raised by the call.

Properties

help

open val help: String

signature

val signature: Signature

Functions

solve

open override fun solve(request: Solve.Request<ExecutionContext>): Sequence<Solve.Response>