Home

INSTALL

Calling YAP

Core Built-ins

Programming

Extensions

Library

Available Packages

Foreign Language Interface

YAP Prolog Reference Manual

prolog::subsumes_chk/2

prolog::subsumes_chk/2¶

(undocumented)

Private-func:¶

1. prolog::subsumes_chk_2::subsumes_chk/2(int ARG1, int ARG2)():

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