Mini-Prolog interpreter & ^C

[Hans Aberg]

The "readme" file of the mini-Prolog interpreter says:
  Unfortunately, typing a control C to interrupt a query with an infinite loop
  will exit the Prolog interpreter completely -- sorry, but I don't know a way
  around this at the moment.

-- A way to implement this, it seems me, is to design Hugs so that a ^C
generates a Haskell exception; an unhandled exception should then cause an
interrupt.

This way, it becomes possible for a program to handle an interrupt without
exiting.

  Hans Aberg