VocabularylogicVariable descriptionAn anonymous logic variable.
Use in place of a regular logic variable when you do not need its name and value.
ExamplesUSING: logic prettyprint ;
IN: scratchpad
SYMBOLS: Tom Jerry Nibbles ;
TUPLE: house living dining kitchen in-the-wall ;
LOGIC-PRED: houseo
LOGIC-VAR: X
{ houseo T{ house
{ living Tom }
{ dining f }
{ kitchen Nibbles }
{ in-the-wall Jerry }
}
} fact
{ houseo T{ house
{ living __ }
{ dining __ }
{ kitchen X }
{ in-the-wall __ }
}
} query .
{ H{ { X Nibbles } } }
Definition