clear-pred ( pred -- )

Vocabulary

logic

Inputs

pred	a logic predicate

Outputs

None

Word description

Clears all the definition information for the given logic predicate.

Examples

USING: logic prettyprint ; IN: scratchpad LOGIC-PRED: mouseo SYMBOLS: Jerry Nibbles ; LOGIC-VAR: X { mouseo Jerry } fact { mouseo Nibbles } fact { mouseo X } query . mouseo clear-pred { mouseo X } query .
{ H{ { X Jerry } } H{ { X Nibbles } } } f

See also

retract, retract-all

Definition

USING: accessors kernel namespaces ;

IN: logic

: clear-pred ( pred -- ) get V{ } clone swap defs<< ;