• Home
• it.unibo.tuprolog
• datalog-js
• 0.30.5
• source code
• CompoundFinder.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.visitors.CompoundFinder.kt Maven / Gradle / Ivy

package it.unibo.tuprolog.datalog.visitors

import it.unibo.tuprolog.core.Struct
import it.unibo.tuprolog.core.Term

object CompoundFinder : AbstractClauseVisitor() {
    override fun reduce(results: Sequence): Boolean =
        results.any { it }

    override fun defaultValue(term: Term): Boolean = false

    override fun visitStruct(term: Struct): Boolean = term.arity > 0
}