TuPrologCmd

class TuPrologCmd: Any

Constructors

<init>

constructor(vararg additionalLibraries: AliasedLibrary)

Parameters

Name Description
vararg additionalLibraries: AliasedLibrary

Methods

run

fun run()

ReturnValue

Name Description
Unit

getTimeout

fun getTimeout(): TimeDuration

ReturnValue

Name Description
TimeDuration

getSolver

fun getSolver(): Solver

ReturnValue

Name Description
Solver

CompanionObject

TuPrologCmd

class TuPrologCmd: Any

Fields

Name Description
const DEFAULT_TIMEOUT: Int