interface SolverStrategies: Any
Methods
predicationChoiceStrategy
<P>, context: ExecutionContext): Pabstract fun <P : Term> predicationChoiceStrategy(predicationSequence: Sequence
Selects the predication to be solved first, from provided sequence
Parameters
| Name | Description |
|---|---|
predicationSequence: Sequence
|
|
context: ExecutionContext
|
ReturnValue
| Name | Description |
|---|---|
P
|
clauseChoiceStrategy
abstract fun <C : Clause> clauseChoiceStrategy(unifiableClauses: Sequence
Selects the clause to be expanded in place of unifying predication, from provided sequence
Parameters
| Name | Description |
|---|---|
unifiableClauses: Sequence
|
|
context: ExecutionContext
|
ReturnValue
| Name | Description |
|---|---|
C
|
successCheckStrategy
abstract fun successCheckStrategy(term: Term, context: ExecutionContext): Boolean
Determines "when and what" is considered successfully demonstrated, during solution process
Parameters
| Name | Description |
|---|---|
term: Term
|
|
context: ExecutionContext
|
ReturnValue
| Name | Description |
|---|---|
Boolean
|
CompanionObject
SolverStrategies
interface SolverStrategies: Any
Interface representing internal strategies used by the Solver
Fields
| Name | Description |
|---|---|
val prologStandard: SolverStrategies
|
Returns a strategy object containing the key solution strategies used by a Standard Prolog solver |
Interface representing internal strategies used by the Solver