ADDED: prolog:translate_bindings/3, which makes the toplevel rewrite
operations on answer bindings available to applications that wish to
make the Prolog toplevel available through other means (e.g., SWISH)
ADDED: library(sandbox): unifiable/3, attvar/1.
Updated pengines