Moteur Datalog en miniKanren et WebAssembly

Cet article détaille un moteur Datalog construit à l'aide de Scheme et de la bibliothèque miniKanren, fonctionnant dans le navigateur via WebAssembly. Le moteur implémente les fonctionnalités principales de Datalog : assertion de faits, définition de règles et itération du point fixe. L'auteur explique en détail les aspects d'implémentation des structures de données, des mécanismes d'indexation et de l'application des règles, en fournissant un exemple de parcours de graphe. Ce projet démontre le potentiel des techniques de programmation fonctionnelle et logique pour construire des systèmes de bases de données efficaces, en tirant parti de WebAssembly pour une exécution multiplateforme.