4.38 Creating a Protocol of the User Interaction
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Built-in Predicates
        • Creating a Protocol of the User Interaction
          • protocol/1
          • protocola/1
          • noprotocol/0
          • protocolling/1
    • Packages
Availability:built-in
protocolling(-File)
True if a protocol was started with protocol/1 or protocola/1 and unifies File with the current protocol output file.