[ERROR: system error:] and provides additional 
technical details such as the thread that trapped the error and 
backtrace of the C and Prolog stacks. This function should be used to 
when an unexpected and unrepairable error is detected. For example, 
Prolog uses this after it finds an inconsistency in the data during 
garbage collection.