HELP PROLOG_LVARS                        Kathryn Seifert  September 1986

'prolog_lvars' is a macro (see HELP * MACRO) providing a syntax for
constructing Prolog variables in POP-11.  The POP-11 words to which the
Prolog variables are assigned are declared as lexical variables (see
HELP * LVARS).

The statement

    prolog_lvars k, l;

is equivalent to

    lvars k, l;
    prolog_newvar() -> k;
    prolog_newvar() -> l;

See the Prolog file HELP * TERMSINPOP for more information on
'prolog_newvar'.

-- RELATED DOCUMENTATION ----------------------------------------------

HELP * PROLOG_VARS
HELP * TERMSINPOP
HELP * POPTOPLOG
HELP * PLOGTOPOP
TEACH * PROLOGINPOP