Mini-Prolog interpreter & ^C

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