https://9lib.org/document/yngpvp91-prolog.html