NoUnifyException

open class NoUnifyException: TuPrologException

Fields

Name Description
open message: String?

the detail message string.

Constructors

<init>

constructor(term1: Term, term2: Term)

Parameters

Name Description
term1: Term
term2: Term

<init>

constructor(term1: Term, term2: Term, other: Throwable?)

Parameters

Name Description
term1: Term
term2: Term
other: Throwable?