SWI-Prolog -- blob/2

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

blob(@Term, ?Type)

True if Term is a blob of type Type. See section 12.4.9.