Prolog code.