[April technique] recherche preprocesseur libre

[Basile Starynkevitch <basile AT starynkevitch.net>]

Bonsoir la liste

Pour le moteur d'inférences RefPerSys ("reflexive persistent system") en 
https://github.com/RefPerSys/RefPerSys sous licence GPLv3+ je souhaite 
que la syntaxe (encore à définir, vos suggestions constructives sont 
bienvenues) soit fournie par une grammaire (probablement pour GNU bison, 
peut-être pour bison++) par un fichier qui soit obtenu par un 
préprocesseur textuel (libre) préférentiellement packagé sous Debian 
Testing.

RefPerSys vise à être plus performant que CLIPSrules (en 
https://clipsrules.net/ ...)

On veut y générer du code (C++ ou machine) durant l'exécution (via des 
métarègles générant des règles d'inférence et du code), et reprendre des 
idées de https://arxiv.org/abs/1109.0779 (et certaines de Jacques 
Pitrat, voir https://fr.wikipedia.org/wiki/Jacques_Pitrat

RefPerSys a déjà un mécanisme d'agenda et un mécanisme de persistence 
orthogonale. Voir aussi

L'intuition c'est d'être reflexif: la grammaire de RefPerSys doit être 
décrite, ou au moins étendue, par des règles de grammaire qui sont 
générées par RefPerSys

Je connais bien sûr GNU m4 (dont la syntaxe comme la sémantique sont 
assez atroces) et GPP (en https://logological.org/gpp ....) qui pourrait 
être utilisé pour générer la grammaire au format *.yy pour GNU bison


Merci de vos suggestions.

--
Basile Starynkevitch             <basile AT starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/