parser-theory/it.unibo.tuprolog.theory.parsing/ClausesReader/readClauses

readClauses

open fun readClauses(inputStream: InputStream, operators: OperatorSet): List<Clause>
Content copied to clipboard
open fun readClauses(reader: Reader, operators: OperatorSet): List<Clause>
Content copied to clipboard
open fun readClauses(inputStream: InputStream): List<Clause>
Content copied to clipboard
open fun readClauses(reader: Reader): List<Clause>
Content copied to clipboard