Did you know ...
Search Documentation:
PL_is_variable()
HOME
DOWNLOAD
SWI-Prolog
Sources/building
Docker images
Add-ons
Browse GIT
DOCUMENTATION
Manual
Packages
FAQ
Command line
PlDoc
Bluffers
▶
Prolog syntax
PceEmacs
HTML generation
License
Publications
Rev 7 Extensions
TUTORIALS
Beginner
▶
Getting started
Learn Prolog Now!
Simply Logical
Debugger
Development tools
Advanced
▶
Modules
Grammars (DCGs)
clp(fd)
Printing messages
PlDoc
Web applications
▶
Web applications
Let's Encrypt!
Pengines
Semantic web
▶
ClioPatria
RDF namespaces
Graphics
▶
XPCE
GUI options
Machine learning
▶
Probabilistic Logic Programming
External collections
▶
Meta level tutorials
For packagers
▶
Linux packages
COMMUNITY
IRC
Forum & mailing list
Blog
News
Report a bug
Submit a patch
Submit an add-on
Roadmap (on GitHub)
External links
Contributing
Code of Conduct
Contributors
SWI-Prolog items
COMMERCIAL
WIKI
Login
View changes
Sandbox
Wiki help
All tags
Documentation
Reference manual
Foreign Language Interface
The Foreign Include File
Analysing Terms via the Foreign Interface
Testing the type of a term
PL_term_type()
PL_is_variable()
PL_is_ground()
PL_is_atom()
PL_is_string()
PL_is_integer()
PL_is_rational()
PL_is_float()
PL_is_callable()
PL_is_compound()
PL_is_functor()
PL_is_list()
PL_is_pair()
PL_is_dict()
PL_is_atomic()
PL_is_number()
PL_is_acyclic()
Packages
Availability:
C-language interface function
bool
PL_is_variable
(
term_t
)
Returns non-zero if
term
is a variable.