-
J'utilise également SWI-Prolog et ECLiPSe. J'ai appris à utiliser prolog avec SWI-Prolog, et je fais un peu de programmation par contrainte avec ECLiPSe qui est plus performant que SWI dans le cadre de CLP. Le seul inconvéniant que je trouve à ECLiPSe, c'est son prompt. Dommage qu'il ne soit pas aussi pratique que celui de SWI.
-
Quel Prolog?
Je travaille avec différentes implantations de Prolog en fonction des possibilités offertes :
- programmation sous contraintes,
- CHR,
- tabling,
- coinduction etc.
J'utilise essentiellement swi prolog avec Xemacs, mais selon la finalité je peux utiliser GnuProlog, B-Prolog, Eclipse, XSB ou YAP.
De plus en POO, j'utilise Logtalk. Les programmes écrits en Logtalk peuvent être compilés avec de nombreux compilateurs prolog. Une liste est disponible sur le site :http://www.logtalk.org.
Logtalk peut également utiliser Xemacs, (entre autres) ce qui permet un environnement bien intégré. Tout ces systèmes fonctionnent très bien sous windows Xp.
-
Pour l'enseignement nous utilisons SWI-Prolog. En programmation parallèle avec MPI nous utilisons Yap qui permet de facilement utiliser cette bibliothèque.
@+
Rémi
-
-
J'ai fait une partie de mes études informatique à l'université de Marseille et j'ai donc étudié avec prolog de prologia. (Prolog III, je crois)
Au boulot, il y avait déjà des projets codé avec le Prolog de la société Delphia.
J'ai un peu galéré au début en changeant de syntaxe.
-
Prolog
Bonjour j'utilise le SWI Prolog, je suis en train de m'initier avec les prédicats, mais j'ai un problème avec l'utilisation de CUT et les fonctions.