> Remove support for NU-Prolog and SICStus Prolog. I just remembered another thing you should also remove: all the when declarations in the library (and in the compiler, if there are any), and the code we have for ignoring when declarations. Zoltan.