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

Companion

object Companion

Properties

bodyWellFormedVisitor

val bodyWellFormedVisitor: TermVisitor<Boolean>

A TermVisitor checking whether a term respects the body constraints part of isWellFormed.

const val FUNCTOR: String

The canonical clause functor: :-

notableFunctors

val notableFunctors: List<String>

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

Functions

fun of(head: Struct? = null, body: Iterable<Term>): Clause

fun of(head: Struct? = null, vararg body: Term): Clause

Creates a Clause: a Rule if head is non-null, a Directive otherwise.

fun of(head: Struct? = null, body: Sequence<Term>): Clause