Variable description A logic predicate. Instantiate the length of the list.
Syntax
{ lengtho List X }
Examples
USING: logic lists prettyprint ;
IN: scratchpad
SYMBOLS: Tom Jerry Nibbles ;
LOGIC-VAR: X
{ lengtho L{ Tom Jerry Nibbles } 3 } query .
{ lengtho L{ Tom Jerry Nibbles } X } query . t
{ H{ { X 3 } } }