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@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)