Package it.unibo.tuprolog.solve

Types

AbstractWrapper

abstract class AbstractWrapper<out Wrapped>(val signature: Signature)

Signature to Wrapped type, abstract wrapper class

ExecutionContext

interface ExecutionContext : ExecutionContextAware

An interface representing the Solver execution context, containing important information that determines its behaviour

ExecutionContextAware

interface ExecutionContextAware

Base type for all entities which must be aware of the current state of a solver

JsClassName

data class JsClassName(val module: String, val qualifiedName: String)

MutableSolver

interface MutableSolver : Solver

General type for mutable logic Solvers. MutableSolvers differ from Solvers in that they expose public methods for letting clients affect the state of the solver -- e.g. affecting the KB -- while no resolution process is ongoing.

Signature

data class Signature( val name: String, val arity: Int, val vararg: Boolean = false)

The signature of a query Struct or a Primitive

Solution

interface Solution

A type representing a solution to a goal

SolutionFormatter

interface SolutionFormatter

SolveOptions

interface SolveOptions

Solver

interface Solver : ExecutionContextAware

General type for logic solvers, i.e. any entity capable of solving some logic query -- provided as a Struct -- according to some logic, implementing one or more inference rule, via some resolution strategy.

SolverFactory

interface SolverFactory

TimeDuration

typealias TimeDuration = Long

This type represents how the solver will see time duration

TimeInstant

typealias TimeInstant = Long

This type represents how the solver will see time instants