Home
INSTALL
Calling YAP
Core Built-ins
Programming
Extensions
Library
Available Packages
Foreign Language Interface
YAP Prolog Reference Manual
list_to_cudd/2
list_to_cudd/2
¶
list_to_cudd(+
ListOfEquivalences, Manager,)* Initial