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