datalog/it.unibo.tuprolog.datalog

Package-level declarations

Types

interface ClauseVisitor<T> : TermVisitor<T>

Functions

ensureAllHeadVariablesInNonNegatedLiterals

fun Clause.ensureAllHeadVariablesInNonNegatedLiterals()

ensureAllNegatedLiteralsVariablesInNonNegatedLiteralsToo

fun Clause.ensureAllNegatedLiteralsVariablesInNonNegatedLiteralsToo()

ensureHasNoCompound

fun Clause.ensureHasNoCompound()

ensureIsDatalog

fun Theory.ensureIsDatalog()

ensureIsNonRecursive

fun Theory.ensureIsNonRecursive()

Properties

allHeadVariablesInNonNegatedLiterals

val Clause.allHeadVariablesInNonNegatedLiterals: Boolean

allNegatedLiteralsVariablesInNonNegatedLiteralsToo

val Clause.allNegatedLiteralsVariablesInNonNegatedLiteralsToo: Boolean

val Theory.callGraph: Graph<Indicator, Boolean>

val Clause.hasNoCompound: Boolean

val Theory.isDatalog: Boolean

val Struct.isNegated: Boolean

val Theory.isNonRecursive: Boolean

val Clause.literals: List<Struct>

negatedBodyLiterals

val Clause.negatedBodyLiterals: List<Struct>

nonNegatedBodyLiterals

val Clause.nonNegatedBodyLiterals: List<Struct>