retract-all ( head-def -- )

Vocabulary

logic

Inputs

head-def

a logic predicate

Outputs

None

Word description

Removes all definitions that match a given head goal definition.

Examples

USING: logic prettyprint ; IN: scratchpad LOGIC-PRED: mouseo SYMBOLS: Jerry Nibbles ; { mouseo Jerry } fact { mouseo Nibbles } fact { mouseo X } query . { mouseo __ } retract-all { mouseo X } query .
{ H{ { X Jerry } } H{ { X Nibbles } } } f

See also

retract, clear-pred

Definition

USING: accessors kernel logic.private sequences ;

IN: logic

:: retract-all ( head-def -- )
    head-def replace-'__' def>goal :> head-goal head-goal pred>>
    defs>> :> defs defs
    [ first <env> head-goal <env> V{ } clone <env> (unify*) ]
    reject! head-goal pred>> defs<< ;