Home
INSTALL
Calling YAP
Core Built-ins
Programming
Extensions
Library
Available Packages
Foreign Language Interface
YAP Prolog Reference Manual
must_be_ground/1
must_be_ground/1
¶
"must_be_ground( ?
T
"
)
T
must be fully instantiated.