Home

INSTALL

Calling YAP

Core Built-ins

Programming

Extensions

Library

Available Packages

Foreign Language Interface

YAP Prolog Reference Manual

prolog::mtbdd_eval/2

prolog::mtbdd_eval/2¶

(undocumented)

Private-func:¶

1. prolog::mtbdd_eval_2::mtbdd_eval/2(int ARG1, int ARG2)():

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