Home

INSTALL

Calling YAP

Core Built-ins

Programming

Extensions

Library

Available Packages

Foreign Language Interface

YAP Prolog Reference Manual

must_be_bound/1

must_be_bound/1¶

"must_be_bound( ?T " )

T must be instantiated.

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