Backward Chaining Goal

Syntax

fail

Arguments

None.

Description

This goal always fails. It is sometimes used with cut.

Examples

(defrule nice :backward

  ((nice ?x)

   <--

   (rottweiler ?x)

   (cut)

   (fail))

  ((nice ?x) <--))

implements "everything is nice unless it is a rottweiler".

See also

cut