newbie question: how to measure run-time with Sicstus under linux?



staticstics(runtime,_) is for windows. Am I right?

.