Swi-cs-pl - A CSharp class library to connect .NET languages with SWI-Prolog
Equality Method
SwiPlCs interface ► SbsSW.SwiPlCs ► PlTerm ► Equality()()()()
Members| Icon | Member | Description |
|---|---|---|
|
Equality(PlTerm, PlTerm) |
Yields TRUE if the PlTerm is an atom or string representing the same text as the argument,
FALSE if the conversion was successful, but the strings are not equal and an
type_error exception if the conversion failed.
|
|
|
Equality(PlTerm, Int32) |
|
|
|
Equality(Int32, PlTerm) |
Yields TRUE if the PlTerm is an atom or string representing the same text as the argument,
FALSE if the conversion was successful, but the strings are not equal and an
type_error exception if the conversion failed.
|
|
|
Equality(PlTerm, String) |
Yields TRUE if the PlTerm is an atom or string representing the same text as the argument,
FALSE if the conversion was successful, but the strings are not equal and an
type_error exception if the conversion failed.
|
|
|
Equality(String, PlTerm) |
Yields TRUE if the PlTerm is an atom or string representing the same text as the argument,
FALSE if the conversion was successful, but the strings are not equal and an
type_error exception if the conversion failed.
|