it.unibo.tuprolog.ui.repl

package it.unibo.tuprolog.ui.repl

Classes

Name Description
class NullInputException: TuPrologException
class TuPrologCmd: Any
class TuPrologSolveQuery: Any
object TuPrologUtils: Any

Methods

isReadableFile

expect fun isReadableFile(path: String): Boolean

Parameters

Name Description
path: String

ReturnValue

Name Description
Boolean

loadTheoryFromFile

expect fun loadTheoryFromFile(path: String): Theory

Parameters

Name Description
path: String

ReturnValue

Name Description
Theory

main

fun main(args: Array<String>)

Parameters

Name Description
args: Array<String>

ReturnValue

Name Description
Unit