Home
INSTALL
Calling YAP
Core Built-ins
Programming
Extensions
Library
Available Packages
Foreign Language Interface
YAP Prolog Reference Manual
ground/1
ground/1
¶
"ground(
T
"
) is iso
Succeeds if there are no free variables in the term
T
.