À propos du service
TraduitJe suis un développeur travaillant dans le paradigme de programmation logique en Prolog, et depuis de nombreuses années, j'ai résolu des problèmes que les approches impératives ordinaires et d'apprentissage automatique gèrent mal. Là où le code normal décrit exactement comment faire quelque chose, je décris des faits et des règles de votre domaine, et un moteur d'inférence logique s'occupe de trouver des réponses. Ce style déclaratif est parfait pour les systèmes experts, les vérifications de conformité, la planification, le diagnostic, et toute situation où les règles sont complexes, changent souvent et doivent être auditées. Lorsqu'une solution doit être expliquée, et pas seulement livrée, une base de connaissances Prolog fournit une chaîne de raisonnement transparente au lieu d'une boîte noire opaque.
En pratique, je construis des moteurs de règles encodant des centaines de politiques commerciales, des solveurs de contraintes qui distribuent, acheminent et emballent des ressources dans des limites réelles, et des bases de connaissances qui modélisent des taxonomies, des ontologies et des relations entre entités. J'écris des prédicats soigneux et bien indexés, applique des grammaires de clauses définies pour analyser des entrées structurées, et utilise la programmation par contraintes sur des domaines finis pour des tâches de planification et de configuration. Je connecte également Prolog au monde extérieur : expose la logique d'inférence comme une API, l'intègre dans un service plus large en Python, Java ou C, et la relie à SQL et aux magasins de documents afin que la couche logique reste proprement séparée des données et de la présentation.
Au-delà de la construction de nouveaux systèmes, je sauve et nettoie une logique héritée tentaculaire, optimise les requêtes avec un backtracking excessif, et ajoute des explications et un traçage afin que les non-programmeurs puissent faire confiance au résultat. Que vous ayez besoin d'un prototype d'une idée de raisonnement, d'un système expert fonctionnel, ou d'un solveur combinatoire délicat—je prendrai la tâche de la spécification à une livraison testée, documentée et maintenable.
— Systèmes experts et moteurs de règles en SWI-Prolog et dialectes compatibles
— Résolution de contraintes et planification avec CLP(FD) sur des domaines finis
— Bases de connaissances, ontologies et raisonnement sémantique
— Grammaires de clauses définies pour analyser et interpréter les entrées
— Intégration avec Python, Java, C, SQL et APIs web
— Refactoring, optimisation et raisonnement explicable pour la logique héritée
En pratique, je construis des moteurs de règles encodant des centaines de politiques commerciales, des solveurs de contraintes qui distribuent, acheminent et emballent des ressources dans des limites réelles, et des bases de connaissances qui modélisent des taxonomies, des ontologies et des relations entre entités. J'écris des prédicats soigneux et bien indexés, applique des grammaires de clauses définies pour analyser des entrées structurées, et utilise la programmation par contraintes sur des domaines finis pour des tâches de planification et de configuration. Je connecte également Prolog au monde extérieur : expose la logique d'inférence comme une API, l'intègre dans un service plus large en Python, Java ou C, et la relie à SQL et aux magasins de documents afin que la couche logique reste proprement séparée des données et de la présentation.
Au-delà de la construction de nouveaux systèmes, je sauve et nettoie une logique héritée tentaculaire, optimise les requêtes avec un backtracking excessif, et ajoute des explications et un traçage afin que les non-programmeurs puissent faire confiance au résultat. Que vous ayez besoin d'un prototype d'une idée de raisonnement, d'un système expert fonctionnel, ou d'un solveur combinatoire délicat—je prendrai la tâche de la spécification à une livraison testée, documentée et maintenable.
— Systèmes experts et moteurs de règles en SWI-Prolog et dialectes compatibles
— Résolution de contraintes et planification avec CLP(FD) sur des domaines finis
— Bases de connaissances, ontologies et raisonnement sémantique
— Grammaires de clauses définies pour analyser et interpréter les entrées
— Intégration avec Python, Java, C, SQL et APIs web
— Refactoring, optimisation et raisonnement explicable pour la logique héritée
