This just in: WG17 changes course
Tired of being cursed by all for standardization problems and mishaps, the next ISO Prolog Core standard revision will mandate:
Forward-chaining inference mechanism. Stated reason: you cannot move Prolog forward doing backward reasoning.
Replacement of stream-based input/output with revamped, time-proved, Edinburgh-style input/output. Highlights:
told_you_so/0built-in predicates for DWIM user-friendly semantics.
New character escape
0'\qunexpectedly quits Prolog for those embarrassing programming moments.
Due to all controversy regarding
char_conversion/2, from now on all standards will be published in Esperanto.
Attempting printing of cyclic terms will endlessly print the lyrics of “99 bottles of beer on the wall”.
New operator class
yfyfor decomposing operands.
Singleton variable report by
read_term/3is deprecated as it’s not politically correct to complain about a variable choice of life-style. In addition, for privacy reasons, the
variable_names/1option is also deprecated.
New value for the
true, provides a sharp decrease on the number of “
no”s reported by Prolog interpreters. Specially relevant in educational environments, it will hopefully contribute to make the language more attractive to students.
Database built-in predicates are enhanced with an optional argument for cloud computing. Handy for hiding your dirty programming tricks.
The de facto standard
freeze/2predicate is added to the standard but with an extra argument that allows the user to specify a time-out value, freeing the goal to fulfill its destiny.
Further details are still being worked out but stay tuned.
Hoping that no one here is humor-impaired, Happy April Fools’ Day :-)