• View
• Edit
• History
• Print

Prolog

Prolog and Standardisation

• Notes on ISO Prolog - wiki
• Comments on ISO DCG draft
• Comments about vertical bar syntax
• Various notes on ISO Prolog
• ISO-Prolog test suite
• ISO compatibility of
  • ECLiPSe 6.1 lib(iso_strict) syntax, lib(iso) syntax and ECLiPSe native syntax. These tables have been produced 2013 using this data and this test harness.
  • ECLiPSe 7.0 lib(iso_strict) syntax, lib(iso) syntax and ECLiPSe native syntax. These tables have been produced 2016 using this data and this test harness.
• Minimalistic Proposal for Definite Clause Grammars (DCG)
• AttributedVariables
• Proposal for Prolog with IEEE floats
• ModuleSystem
• AboutExpansion
• Strings
• WriteOptions
• SetupCallCleanup
• Logical Loops
• Rational Numbers