Home

INSTALL

Calling YAP

Core Built-ins

Programming

Extensions

Library

Available Packages

Foreign Language Interface

YAP Prolog Reference Manual

varnumbers/2

varnumbers/2¶

"varnumbers(+ Term, Term" )

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

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