Home
INSTALL
Calling YAP
Core Built-ins
Programming
Extensions
Library
Available Packages
Foreign Language Interface
YAP Prolog Reference Manual
Variabilize term.
Variabilize term.
¶
prolog::max_var_number/3
prolog::numbervars/1