Search Top Index
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