Home
INSTALL
Calling YAP
Core Built-ins
Programming
Extensions
Library
Available Packages
Foreign Language Interface
YAP Prolog Reference Manual
cnf/3
cnf/3
¶
cnf(F,Cnf)*
Convert formula
F
to a list
CNF
.
Convert formula
F
to a difference list
CNF
.