Home

INSTALL

Calling YAP

Core Built-ins

Programming

Extensions

Library

Available Packages

Foreign Language Interface

YAP Prolog Reference Manual

unnumbervars/1

unnumbervars/1¶

"unnumbervars(+ Term" )

Replace all terms of the form $VAR(_) by unbound variables.

Built with MkDocs using a theme provided by Read the Docs.