OpenPRS
OpenPRS est un environnement logiciel permettant de réaliser des applications utilisant le raisonnement procédural.
Le concept de raisonnement procédural est apparu dans les années 1980 au laboratoire SRI international, à Menlo Park en Californie. Il a été l'objet de nombreux projets de recherches et de publications.
OpenPRS est un environnement de développement pour le raisonnement procédural écrit entièrement en langage C et disponible sur les systèmes Unix sous une licence libre.
Le raisonnement procédural est constitué d'un ensemble d'outils et de méthodes pour représenter et exécuter des plans et des procédures. Ces plans ou procédures sont des séquences d'actions conditionnelles qui peuvent être exécutées soit pour obtenir un résultat donné, soit en réaction à une situation donnée. Il s'agit d'un compromis entre des représentations purement déclaratives et des représentations purement impératives de la connaissance.
OpenPRS est constitué d'un moteur d'exécution de programmes PRS, d'un éditeur graphique (utilisant le système X11/Motif) et d'outils de communication pour la mise au point et l'intégration d'OpenPRS dans d'autres environnements.
Un mécanisme de lien du moteur d'exécution avec des procédures en langage C permet à OpenPRS de s'interfacer au monde réel.
En particulier OpenPRS propose une interface avec GenoM (via le middleware pocolibs) pour contrôler l'exécution d'un ensemble de procédures dans une couche fonctionnelle programmée à l'aide de GenoM.