Home

INSTALL

Calling YAP

Core Built-ins

Programming

Extensions

Library

Available Packages

Foreign Language Interface

YAP Prolog Reference Manual

prolog::sat/3

prolog::sat/3¶

(undocumented)

Private-func:¶

1. prolog::sat_3::sat/3(int ARG1, int ARG2, int ARG3)():

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