parser-theory
/
it.unibo.tuprolog.theory.parsing
/
parseAsClauses
common
parse
As
Clauses
fun
String
.
parseAsClauses
(operators:
OperatorSet
):
List
<
Clause
>
Content copied to clipboard
fun
String
.
parseAsClauses
():
List
<
Clause
>
Content copied to clipboard