(\\+)/1 — Negation by Failure

SWI-Prolog. (2026). `(\\+)/1` — Negation by Failure.

Type

Web resource

Intellectual base

Web

Year

2026

Link

https://www.swi-prolog.org/pldoc/man?predicate=%5C%2B%2F1

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Negation as Failure
  • SWI-Prolog deliberately deprecates the synonym `not/1` because it too easily suggests classical logical negation.

    This sourceOperational `\\+` behavior and distinction from deprecated `not/1` terminology.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:bc3acdefc861 · see in the full table