J’ai essayé de lire tout le message, mais après les premiers paragraphes, je me suis contenté de les survoler.
J’ai également testé les convertisseurs en ligne avec
\+ exist
A \= b
mais ils n’ont pas converti le \ en \\, donc le code\text s’affiche comme suit :
+ exist
A = b
Notre site (SWI-Prolog) est dédié au langage de programmation Prolog SWI-Prolog, et de nombreux messages contiennent du code source Prolog. Comme le Prolog est un langage de programmation logique basé sur trois opérateurs logiques fondamentaux : and, or et not, et que not est généralement représenté par le caractère \ lorsqu’il est utilisé avec des opérateurs courants, par exemple \=/2 et \+/1, et que Markdown utilise le \ comme caractère d’échappement,
les opérateurs collés en ligne (et non dans des blocs de code) n’apparaissent souvent pas sous la forme \= ou \+, mais comme = ou +, car la conversion Markdown consomme le \ en le considérant comme un caractère d’échappement.
Peut-on corriger cela ? 