solve-concurrent/it.unibo.tuprolog.solve.concurrent.stdlib.rule/NegationAsFailure/Companion

Companion

object Companion

Properties

Link copied to clipboard
const val ARITY: Int = 1

The arity both Fail and Success are registered under: 1.

Link copied to clipboard
const val FUNCTOR: String

The functor both Fail and Success are registered under: \+.

Generated by Dokka
© 2026 Copyright