Home

INSTALL

Calling YAP

Core Built-ins

Programming

Extensions

Library

Available Packages

Foreign Language Interface

YAP Prolog Reference Manual

unify_with_occurs_check/2

unify_with_occurs_check/2¶

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