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/0 built-in predicates for DWIM user-friendly semantics.
– New character escape
0'\q unexpectedly 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
yfy for decomposing operands.
– Singleton variable report by
read_term/3 is deprecated as it’s not politically correct to complain about a variable choice of life-style. In addition, for privacy reasons, the
variable_names/1 option 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/2 predicate 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 :-)