Home
INSTALL
Calling YAP
Core Built-ins
Programming
Extensions
Library
Available Packages
Foreign Language Interface
YAP Prolog Reference Manual
ord_union/4
ord_union/4
¶
ord_union(+
Set1
, +
Set2
, ?
Union
)*
Holds when
Union
is the union of
Set1
and
Set2
.