Donate
Sandbox
Collaborate
Documentation
Downloads
Documentation
Prolog Predicate Reference
builtin
ground/1
ground/1
Check if term has no free variables.
Description
ground
(
@term
)
ground(Term)
is true if and only if
Term
holds no free variables.
Implementation
Community
Site
Twitter
Github
npm
Documentation
Manual
Examples
Implementation details
Prolog Predicate Reference
Code
Custom bundle
Installation from npm
Source Code
Contact
Form contact
Collaborators
Contributors
tau.prolog @ gmail.com
© 2017 - 2023
José Antonio Riaza Valverde
Released under the
BSD-3 Clause license