seen/0

Documentation
- Reference manual
  - Built-in Predicates
    - Input and output
      - Edinburgh-style I/O
        
        see/1
        
        tell/1
        
        append/1
        
        seeing/1
        
        telling/1
        
        seen/0
        
        told/0
- Packages

Availability:built-in

seen

Close the current input stream. The new input stream becomes user_input.