Variable description A logic predicate. Concatenate two lists.
Syntax
{ appendo List1 List2 List1+List2 }
Examples
USING: logic lists prettyprint ;
IN: scratchpad
SYMBOLS: Tom Jerry Nibbles ;
LOGIC-VARS: X Y ;
{ appendo L{ Tom } L{ Jerry Nibbles } X } query .
{ appendo L{ Tom } L{ Jerry Nibbles } L{ Jerry Nibbles Tom } } query .
{ appendo X Y L{ Tom Jerry Nibbles } } query . { H{ { X L{ Tom Jerry Nibbles } } } }
f
{
H{ { X L{ } } { Y L{ Tom Jerry Nibbles } } }
H{ { X L{ Tom } } { Y L{ Jerry Nibbles } } }
H{ { X L{ Tom Jerry } } { Y L{ Nibbles } } }
H{ { X L{ Tom Jerry Nibbles } } { Y L{ } } }
}