Updated format and some Java 8 features in the prolog.core package.