object TuPrologUtils: Any
Methods
printParseException
fun printParseException(e: ParseException)
Parameters
| Name | Description |
|---|---|
e: ParseException
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
readQuery
fun readQuery(): String
ReturnValue
| Name | Description |
|---|---|
String
|
printSolutions
fun printSolutions(solutions: Iterator<Solution>, operatorSet: OperatorSet)
Parameters
| Name | Description |
|---|---|
solutions: Iterator<Solution>
|
|
operatorSet: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
printNumSolutions
fun printNumSolutions(solutions: Iterator<Solution>, maxSolutions: Int, operatorSet: OperatorSet)
Parameters
| Name | Description |
|---|---|
solutions: Iterator<Solution>
|
|
maxSolutions: Int
|
|
operatorSet: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Unit
|