datalog
0.30.5
datalog
/
it.unibo.tuprolog.datalog.visitors
Package-level
declarations
Types
Types
Abstract
Clause
Visitor
Link copied to clipboard
abstract
class
AbstractClauseVisitor
<
T
>
:
ExhaustiveTermVisitor
<
T
>
,
ClauseVisitor
<
T
>
Compound
Finder
Link copied to clipboard
object
CompoundFinder
:
AbstractClauseVisitor
<
Boolean
>
Head
Variables
Outside
Non
Negated
Literals
Link copied to clipboard
object
HeadVariablesOutsideNonNegatedLiterals
:
AbstractClauseVisitor
<
Set
<
Var
>
>