NoUnifyException

open class NoUnifyException(term1: Term, term2: Term, other: Throwable?) : TuPrologException
Content copied to clipboard

Constructors

NoUnifyException
Link copied to clipboard
fun NoUnifyException(term1: Term, term2: Term)
Content copied to clipboard

Properties

cause
Link copied to clipboard
open override val cause: Throwable?
Content copied to clipboard
message
Link copied to clipboard
open override val message: String?
Content copied to clipboard

Inheritors

OccurCheckException
Link copied to clipboard