SWI-Prolog -- Term Comparison

Did you know ...

Search Documentation:

Term Comparison

HOME
DOWNLOAD
DOCUMENTATION
- Manual
- Packages
- FAQ
- Command line
- PlDoc
- Bluffers▶
- License
- Publications
- Rev 7 Extensions
TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
  - ClioPatria
  - RDF namespaces
- Graphics▶
  - XPCE
  - GUI options
- Machine learning▶
  - Probabilistic Logic Programming
- External collections▶
  - Meta level tutorials
- For packagers▶
  - Linux packages
COMMUNITY
COMMERCIAL
WIKI
- Login
- View changes
- Sandbox
- Wiki help
- All tags

Documentation
- Reference manual
  - Foreign Language Interface
    - The Foreign Include File
      - Miscellaneous
        
        Term Comparison
        
        PL_compare()
        
        PL_same_compound()
        
        Recorded database
        
        Database
        
        Getting file names
        
        Dealing with Prolog flags from C
        
        Foreign code and Well Founded Semantics
- Packages

12.4.18.1 Term Comparison

int PL_compare(term_t t1, term_t t2): Compares two terms using the standard order of terms and returns -1, 0 or 1. See also compare/3.
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.