Home
INSTALL
Calling YAP
Core Built-ins
Programming
Extensions
Library
Available Packages
Foreign Language Interface
YAP Prolog Reference Manual
ord_disjoint/3
ord_disjoint/3
¶
ord_disjoint(+
Set1
, +
Set2
)*
Holds when the two ordered sets have no element in common.