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