core/it.unibo.tuprolog.core/Clause/Companion/notableFunctors

notableFunctors

@JvmStatic
val notableFunctors: List<String>

The functors (Tuple, if-then, if-then-else) whose arguments matter for isWellFormed's body check.

Generated by Dokka
© 2026 Copyright