commonMain.it.unibo.tuprolog.solve.stdlib.CommonBuiltins.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of solve-jvm Show documentation

Resolution-agnostic API for logic solvers

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve.stdlib

import it.unibo.tuprolog.core.Clause
import it.unibo.tuprolog.core.operators.OperatorSet
import it.unibo.tuprolog.solve.Signature
import it.unibo.tuprolog.solve.function.LogicFunction
import it.unibo.tuprolog.solve.library.impl.AbstractLibrary
import it.unibo.tuprolog.solve.primitive.Primitive

object CommonBuiltins : AbstractLibrary() {
    override val alias: String
        get() = "prolog.lang"

    override val operators: OperatorSet
        get() = OperatorSet.DEFAULT

    override val clauses: List
        get() = CommonRules.clauses

    override val primitives: Map
        get() = CommonPrimitives.primitives

    override val functions: Map
        get() = CommonFunctions.functions
}