SBCL 1.1.18.
SWI-Prolog 6.6.5.