The Software Verification Research Centre (Univ. of Queensland) extended version of Prolog currently released under Linux and Solaris is designed primarily as a prototyping language and tactic language for theorem provers, including support for efficient