solve/it.unibo.tuprolog.solve/Signature/Companion

Companion

object Companion

Properties

const val FUNCTOR: String

The functor of a Signature struct

Functions

fun fromIndicator(indicator: Indicator): Signature?

Creates a Signature instance from a well-formed Indicator, or returns null if it wasn't

fromSignatureTerm

fun fromSignatureTerm(term: Struct): Signature?

Creates a Signature instance from a well-formed Signature Struct, or returns null if it cannot be interpreted as Signature

fun fromSignatureTerm(term: Term): Signature?

Creates a Signature instance from a well-formed Signature Term, or returns null if it cannot be interpreted as Signature