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

Companion

object Companion

Properties

Link copied to clipboard
const val ARITY: Int = 1
Link copied to clipboard
const val FUNCTOR: String
Generated by Dokka
© 2026 Copyright