12.4.18.1 Term Comparison
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Foreign Language Interface
The Foreign Include File
Miscellaneous
Term Comparison
PL_compare()
PL_same_compound()
Packages
Availability:
C-language interface function
bool
PL_same_compound
(
term_t t1, term_t t2
)
Yields
TRUE
if
t1
and
t2
refer to physically the same compound term and
FALSE
otherwise.