post-N235 Prolog prologue (Working draft) https://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue