VDOM (Visual Dynamic Object Model) est la première technologie visant à abstraire les applications web.
engendre
— Plate-forme —
VAILS
Le premier serveur IA · v6.0.4
Serveur neuro-symbolique : un REPL, une API, un orchestrateur de LLM, un moteur Prolog, un solveur CP-SAT — sous un seul toit.
parle
— Langage —
VVL
La pierre de rosette du neuro-symbolique · v5.1.11
Syntaxe Lisp homoiconique. 600+ builtins. 20 opérateurs sémantiques. Un langage où neuronal et symbolique cohabitent en première classe.
600+
builtins documentés
34
chapitres + annexe
8
parties de l'ouvrage
9
cycles de formation
~95%
fidélité N-S complète
— Le pipeline neuro-symbolique avec VVL —
Du langage naturel au planning vérifié
Une intention exprimée en français traverse cinq étapes traçables ; chacune produit un artefact inspectable, du keyword catalogué jusqu'au modèle algébrique résolu par CP-SAT.
i.
Intention NL
« Annule la mission Delorme vendredi »
NEURO
❯
ii.
VVL compilé
[$p.apply-event [new Event "Cancellation"]]
SYMBOLIQUE
❯
iii.
Algèbre
Contraintes + règles + faits Prolog/Zalta
FORMEL
❯
iv.
Solveur
CP-SAT / OR-Tools — résolution déterministe
EXÉCUTION
❯
v.
Résultat audité
Plan vérifié · delta minimal · hypothèses tracées
NEURO
❦ ❦ ❦
— Quatre piliers —
Un langage, quatre couches
Neuro
νοῦς · l'intuition
Comprendre le langage naturel grâce aux LLM, en extraire l'intention, réifier des concepts et puiser dans une mémoire RAG indexée.
Symbolique
λόγος · la formalisation
Lambdas, récursion, OO unifié avec mixins/MRO, Prolog citoyen de première classe, ontologies à priorités, mondes possibles.
Algébrique
τέχνη · la rigueur
Algèbre des 8 opérateurs Zalta, logique floue à T-normes, contraintes globales compilées vers CP-SAT et OR-Tools.
Vérifiable
ἀλήθεια · la preuve
Résultats audités, ré-exécutables, améliorables sans rappel au LLM. Hypothèses tracées, why-infeasible diagnostiqué, delta minimal calculé.
— Sommaire de l'ouvrage —
Huit parties, trente-quatre chapitres
Une traversée des fondements théoriques jusqu'aux pipelines de production et au langage en profondeur : diagnostic médical, devisage BTP, fraude transactionnelle, agents, optimisation, méta-programmation.