jvmMain.it.unibo.tuprolog.theory.parsing.ClausesParserExtensions.kt Maven / Gradle / Ivy
Go to download
Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax
package it.unibo.tuprolog.theory.parsing
import it.unibo.tuprolog.core.operators.OperatorSet
actual fun clausesParserWithOperators(operators: OperatorSet): ClausesParser {
return ClausesParserImpl(operators)
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy