SWI-Prolog -- compound/1

Places
- Home
- Graphs
- Prefixes
Admin
- Users
- Settings
- Plugins
- Statistics
Repository
Query
Help
Login

4.5 Verify Type of a Term

AllApplicationManualNameSummaryHelp

Documentation
- Reference manual
  - Built-in Predicates
    - Verify Type of a Term
      - var/1
      - nonvar/1
      - integer/1
      - float/1
      - rational/1
      - rational/3
      - number/1
      - atom/1
      - blob/2
      - string/1
      - atomic/1
      - compound/1
      - callable/1
      - ground/1
      - cyclic_term/1
      - acyclic_term/1
- Packages

Availability:built-in

[ISO]compound(@Term)

True if Term is bound to a compound term. See also functor/3 =../2, compound_name_arity/3 and compound_name_arguments/3.

ClioPatria (version no GIT?)