object

# `dif`

Provides dif/2 and derived predicates.

Author: Paulo Moura
Version: 1:2:0
Date: 2021-12-17
Compilation flags:
`static, context_switching_calls`
Dependencies:
(none)
Remarks:

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

Inherited public predicates:
(none)

- Public predicates

  - `dif/2`

  - `dif/1`

- Protected predicates

- Private predicates

- Operators

## 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)