object

dif

Provides dif/2 and derived predicates.

Availability:
logtalk_load(dif(loader))
Author: Paulo Moura
Version: 1:3:0
Date: 2023-10-02
Compilation flags:
static, context_switching_calls
Dependencies:
(none)
Remarks:

  • Supported backend Prolog systems: B-Prolog, ECLiPSe, SICStus Prolog, SWI-Prolog, Trealla Prolog, and YAP.

Inherited public predicates:
(none)

Public predicates

dif/2

Sets a constraint that is true iff the two terms are different.

Compilation flags:
static
Template:
dif(Term1,Term2)
Mode and number of proofs:
dif(+term,+term) - zero_or_one

dif/1

Sets a set of constraints that are true iff all terms in a list are different.

Compilation flags:
static
Template:
dif(Terms)
Mode and number of proofs:
dif(+list(term)) - zero_or_one

Protected predicates

(none)

Private predicates

(none)

Operators

(none)