Notes and Specs
Comments on ISO DCG draft
Comments about vertical bar syntax
Proposal for ISO Prolog with IEEE floats
Various notes on ISO Prolog
ISO compatibility of ECLiPSe 6.1,
lib(iso) syntax
and
native syntax
. These tables have been produced using
this data
and
this test harness
.
ISO compatibility of ECLiPSe 7.0
lib(iso_strict) syntax
and
native syntax
. These tables have been produced using
this data
and
this test harness
.