Home
INSTALL
Calling YAP
Core Built-ins
Programming
Extensions
Library
Available Packages
Foreign Language Interface
YAP Prolog Reference Manual
Yap_Unnumbervars/1
Yap_Unnumbervars/1
¶
"Yap_Unnumbervars(+
Term
"
)
Replace all terms of the form $VAR(_) by unbound variables.