Comprehensive implementation of the Prolog programming language

9.2.9