Home

INSTALL

Calling YAP

Core Built-ins

Programming

Extensions

Library

Available Packages

Foreign Language Interface

YAP Prolog Reference Manual

var/1

var/1¶

"var( T" ) is iso

Succeeds if T is currently a free variable, otherwise fails.

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