Bonjour à tous,
La programmation logique est un paradigme de programmation qui prend le courant inverse des langages de programmations impératifs. Plutôt que de décrire la méthode pour résoudre le problème (écrire un algorithme et le coder), elle consiste à décrire les données dont on dispose sur le problème, les règles pour les manipuler, à poser une question puis attendre que l'ordinateur trouve seul la réponse. Le prolog est le principal langage qui utilise ce paradigme.
Néanmoins d'autres langages, via des bibliothèques ou des extensions, supportent ce paradigme. En particulier on peut citer C++ avec la bibliothèque Castor qui vient de sortir en version 1.1. Au menu de cette nouvelle version, on peut trouver.
- l'operateur >>= pour créer des "TakeLeft relations" (abrégé TLRs)
- Des exemples de TLR: group_by, order, reduce, count, skip ...
- Le support des coroutines.
- De nouvelles relations comme shuffle, max_of, reduce_of, pause, item_map, ...
- De nouvelles ILE (Inline Logic Reference Expressions)
- Des améliorations pour le support des ILEs et des lref
Toutes ces nouvelles fonctions sont détaillées dans une vidéo en deux parties (partie 1, partie 2)
Télécharger Castor
Que pensez vous de Castor et en particulier de cette nouvelle version ?
Pensez vous l'utiliser dans vos projets ?
Toujours disponible : Présentation de la programmation logique avec Castor
Partager