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 <bas...@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
