save/[1,2] has been removed as discussed above. Their names are still
reserved so that we can use them in a future release.
The following predicates were supported only by the interpreter and have now been eliminated. If their functionality is required, it can be achieved by passing an explicit ancestors list to all the predicates that need it as an extra argument.
The following predicates that were previously provided only because they are defined in other Prolog systems have now been removed. The user may supply definitions for them if desired. (Many of these just printed error messages in earlier releases.)