VDOM (Visual Dynamic Object Model) est la première technologie visant à abstraire les applications web.
engendre
— Plate-forme —
VAILS
Le premier serveur IA
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
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
— Huit solutions, prêtes à l'emploi —
Des applications concrètes, en un clic
Huit démonstrations interactives, une par produit VAILS Agents. Cliquez une carte pour l'ouvrir dans le catalogue.
— Un serveur, tout le neuro-symbolique —
À une intention, le moteur qui convient
VVL ne fait pas que planifier : la même grammaire route une intention en langage naturel vers le bon paradigme — sémantique, logique, optimisation, ontologie, apprentissage — et renvoie un résultat exécuté et inspectable.
Sémantique
neuro
[§ "chat"] == [§ "félin"]
→ 1 · synonymes reconnus, sans prompt
Calcul prouvé
§§
[§§ "12 % de 240 ?"]
→ 36 · langage naturel compilé puis exécuté
Logique
prolog
[prologValues "fam" "ancestor(jean, X)" X]
→ [pierre marie luc] · récursion déductive
Optimisation
cp-sat
[optimize "au plus 2 objets, valeur max" "kp"]
→ OPTIMAL, objectif 9 · prouvé par OR-Tools
Extraction
neuro-sym
[ontology:fromText $O "Person" "Alice, 30 ans, Paris"]
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.
