Did you know ... | Search Documentation: |
![]() | Make a log of the session? |
Often you wish to make a transcript of the interaction. On Unix you can
fallback to the script
utility. You can also copy/paste from the window
(see also WinCopy). All platforms however support the predicates
protocol/1 and noprotocol/0:
?- protocol('mylog.txt'). true. ... play around ... ?- noprotocol. true.