Home
INSTALL
Calling YAP
Core Built-ins
Programming
Extensions
Library
Available Packages
Foreign Language Interface
YAP Prolog Reference Manual
prolog::satMinBinary/2
prolog::satMinBinary/2
¶
(undocumented)
Private-func:
¶
1.
prolog::satMinBinary_2::satMinBinary/2(int ARG1, int ARG2)()
: