documentation
Toggle table of contents
3.0.5
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
parser-theory
/
it.unibo.tuprolog.theory.parsing
/
parseAsClauses
parse
As
Clauses
fun
String
.
parseAsClauses
(
operators
:
OperatorSet
)
:
List
<
Clause
>
fun
String
.
parseAsClauses
(
)
:
List
<
Clause
>
Parses this string eagerly into clauses.
Throws
it.
unibo.
tuprolog.
core.
parsing.
Parse
Exception
on failure