Fixed classpath issues, modular prolog code, consistent comments