\+

Vocabulary

logic

Variable description

Express negation. \+ acts on the goal immediately following it.

Examples

USING: logic prettyprint ; IN: scratchpad LOGIC-PREDS: cato mouseo creatureo ; LOGIC-VARS: X Y ; SYMBOLS: Tom Jerry Nibbles ; { cato Tom } fact { mouseo Jerry } fact { mouseo Nibbles } fact { creatureo Y } { { cato Y } ;; { mouseo Y } } rule LOGIC-PREDS: likes-cheeseo dislikes-cheeseo ; { likes-cheeseo X } { mouseo X } rule { dislikes-cheeseo Y } { { creatureo Y } \+ { likes-cheeseo Y } } rule { dislikes-cheeseo Jerry } query . { dislikes-cheeseo Tom } query .
f t

Definition

IN: logic

SYMBOL: \+ inline