All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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

There is a newer version: 1.0.4
Show newest version
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