• Home
• it.unibo.tuprolog
• datalog-jvm
• 1.0.3
• source code
• ClauseVisitor.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

commonMain.it.unibo.tuprolog.datalog.ClauseVisitor.kt Maven / Gradle / Ivy

package it.unibo.tuprolog.datalog

import it.unibo.tuprolog.core.Clause
import it.unibo.tuprolog.core.Struct
import it.unibo.tuprolog.core.TermVisitor

interface ClauseVisitor : TermVisitor {
    fun visitHead(head: Struct): T = visitLiteral(head)

    fun visitLiteral(literal: Struct): T

    fun visitNonNegatedLiteral(literal: Struct): T = visitLiteral(literal)

    fun visitNegatedLiteral(literal: Struct): T = visitLiteral(literal)

    override fun visitClause(term: Clause): T
}