Variable description A logic predicate for the relationship an element is in a list.
Syntax
{ membero X List }
Examples
USING: logic lists prettyprint ;
IN: scratchpad
SYMBOLS: Tom Jerry Nibbles Spike ;
{ membero Jerry L{ Tom Jerry Nibbles } } query .
{ membero Spike L{ Tom Jerry Nibbles } } query . t
f