HELP PROLOG_VARS                         Kathryn Seifert  September 1986

'prolog_vars' is a macro (see HELP * MACRO) providing a nice syntax for
constructing Prolog variables in POP-11.  The statement

    prolog_vars k, l;

is equivalent to

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

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

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

HELP * PROLOG_LVARS
HELP * TERMSINPOP
HELP * POPTOPLOG
HELP * PLOGTOPOP
TEACH * PROLOGINPOP