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.