solve/it.unibo.tuprolog.solve/Signature

Signature

data class Signature(val name: String, val arity: Int, val vararg: Boolean = false) : TermConvertible

The signature of a query Struct or a Primitive

Constructors

constructor(name: String, arity: Int, vararg: Boolean = false)

Types

object Companion

Properties

val name: String

val vararg: Boolean

Functions

fun toIndicator(): Indicator

Converts this Signature to Indicator, if possible without loosing information, otherwise throws an exception

open override fun toTerm(): Struct

Converts this signature to a Struct '/'([name], [arity]) or '/'([name],'+'([arity], vararg))

infix fun withArgs(arguments: Iterable<Term>): Struct

Creates corresponding Struct of this Signature with provided arguments