Discussion :

[Davidbrcz]

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

[Aleph69]

Bonjour,

tu utilises cette bibliothèque à quelle fin?

[elmcherqui]

Merci David , j'avais tellement envie de toucher a la programmation logique mais l'apprentissage d'un nouveau langage m'a dissuadé .
Encore Merci pour cette bibliothèque et des liens

[Joel F]

Y a des expressions templates derrières ou bien c'ets tout en full dynamique (question de design, ton truc sent le EDSL à 1km )

[Goten]

@joel : non je crois pas que ça soit basé sur des ET. Mais mes souvenirs sont flou :p.

Note au passage que castor a été plus ou moins proposé pour être intégré à boost. Mais je crois pas que ça ai donné grand chose car l'auteur ne voulait pas introduire de dépendances.

[Davidbrcz]

Joel >> Même s'il y a une forte utilisation des templates, ca reste dynamique même si je ne garantie pas ma réponse à 100%, les DSEL n'étant pas (pour le moment) ma spécialités.

[Fabllot]

Bonjour,

Est-ce que la programmation logique décrite ici, ne serait pas relativement proche de la programmation dite "par contraintes" ?
En c++, il existe Gecode, qui est très puissant mais une véritable usine à gaz !

Dans ce type de programmation, on décrit un état initial puis un certain nombre de contraintes (ou règles) de différents poids. C'est ensuite le système qui trouve une solution ou un ensemble de solution...

Cela ressemble étrangement à Castor !