ISO Prolog Document



Hi All,
As far as I know, freely available ISO documents are the whole 1993 documents of part I, the 1995 clauses 7 and 8, and the module system of part II (1995 as well?), all in draft form.


My questions:

1) is there any complete and more recent ISO prolog version to be downloaded freely?
2) if not, is there any one that can attest that the 1995 7 and 8 sections are confroming to the final (and sold) version?


Thanks in advance

Antonio Maschio
<tbin@xxxxxxxxx>
.