version1.72

I released version 1.72.
Development of O-Prolog will end with this release.
I hated the meaningless complexity of the ISO-Prolog standard.
I am developing a new simple Prolog in Elixir.