Quel prolog utilisez-vous ?

[Eusebius]

Un petit sondage, histoire de voir un peu quels sont les prologs les plus utilisés et appréciés, par qui et pour quoi. N'hésitez pas à préciser pourquoi vous utilisez un prolog plutôt qu'un autre, et si c'est dans un contexte académique ou industriel (précisez le secteur).
Merci d'avance !

[gorgonite]

tout d'abord, j'ai commencé de moi-même à bosser sur swi-prolog que j'ai découvert par hasard

maintenant, je suis exclusivement sous gnu-prolog (parce que mes profs du MPRI ne supportent pas les autres...)


si je devais comparer les deux, je dirais que gnu-prolog est très pratique sur les domaines finis ; en revanche, de nombreuses fonctionnalités de prolog "classique" ne sont pas implémentées, et ont un comportement assez étrange comparé à celui qu'on attendrait en théorie et qu'on observe sous swi

(en espérant que mes profs ne lisent pas ce post... )

[Eusebius]

Pour ma part, j'ai appris avec SICStus, que j'ai trouvé très abouti mais qui est très payant aussi...
J'ai utilisé Qu-Prolog pour des activités de recherche. Sa spécificité est de faciliter la programmation multi-thread et distribuée.

En tant qu'enseignant j'ai travaillé avec Prolog IV (choisi par l'équipe pédagogique pour son solveur linéaire et sa syntaxe, notamment) et SWI-Prolog. Prolog IV n'est pas gratuit et il est difficilement trouvable (voire introuvable ?), mais c'est le prolog "historique" développé par Colmerauer.
SWI-Prolog a selon moi l'avantage de la gratuité, et d'une meilleure documentation.

[Trap D]

SWI-Prolog : il est gratuit, me parait bien documenté, et surtout c'est celui que j'ai trouvé en premier quand j'ai cherché à apprendre ce langage.

[pcaboche]

J'ai appris avec SICStus (en 4ème et 5ème année) car c'est ce qui était utilisé dans mon université (besoin de certaines fonctionnalités de SICStus pour des projets particuliers).

Pour l'écriture d'articles, mon choix s'est porté sur swi-prolog car gratuit, très abouti et avec une documentation correcte. Un très beau produit.

Envoyé par Eusebius

Pour ma part, j'ai appris avec SICStus, que j'ai trouvé très abouti mais qui est très payant aussi...

Ca résume bien en effet...

[billynirvana]

J'utilise Prolog II+.

L'avantage de ce prolog est l'obligatoin de concevoir soi-même sa propre librairie prédicats (au lieu d'utiliser systématiquement les prédicats pré-définis, comme c'est le cas dans vos versions). C'est plus instructif!

[Boubou Balrog]

Pour ma part, j'utilise swi-prolog pour un projet à l'EPFL. Il n'était pas imposé, mais il m'a semblé être le plus référencé sur les quelques sites que j'ai visités, donc...

[Siali]

bonjour,

Pour l'apprentissage, j'ai longtemps hésité entre GNU et SWI qui sont gratuits. j'ai fini sur SWI. Maintenant que je rencontre quelques limites en termes de temps de réponse et sur le domaine de la PLC. je suis entrain de basculer vers Sicstus (version d'évaluation). Si Sicstus convient, je l'adopterais définitivement.

A Bientot.

[C_C]

Salut,

Moi j'utilise Swi-prolog aussi. J'ai déjá utilisé Sicstus à la fac mais l'avantage de Swi est qu'il a un éditeur (alors que avec Sicstus j'utilisais notepad pour écrire les programmes) et il est gratuit.
Par contre, il me paraît que Sicstus est plus complet et fiable.

[krakenov_984]

Bonjour,
J'ai commencé par apprendre avec Sicstus et Turbo(bonne interface) à la fac et swi chez moi (puisqu'il est gratuit) et maintenant toujours à la fac j'utilise LPA qui est très payant mais qui est très agréable à utiliser!
A bientot

[ticu78]

bonsoir
j'ai utilise amzi!prolog+logic server car il est le plus simple ,posseder un listner permet de verifier les resultats, facile à integrè dans des lgg hagute niveaucomme delphi,vb6,java...
malgrès la version elle est èducatif mais permet de fonctionner à une durèen d'un mois.et autres advantages.

[Cristescu]

Salut !
Moi, je suis debutant en ProLog. J'utilise Linux-Slackware 10.2 et GNU ProLog. Parfois, j'utilise CIAO-ProLog et SWI-ProLog sous le meme plate-forme pour comparer les resultats.
Au revoir !

[GildasM]

Bonjour,

Après être passé par plusieurs Prolog, j'utilise finalement Visual Prolog. Ce n'est pas un prolog ISO (mais il est livré avec un interpréteur ISO si nécessaire - lui même réalisé en VP (sources incluses)), mais ca ne m'a jamais posé de pb.
Il intègre un IDE sympa, un modèle objet qui permet de développer des applications importantes. Rapide et pas mal de librairies annexes.

G.

[frp31]

j'utilises gnuprolog depuis quelques heures....
le but est juste de me faciliter la vie sur certains tris de données ...

mais j'en suis à la phase apprentissage....

j'ai encore du mal a ecrire les prédicats.... et surtout à les definir.... mais ca viendra....

[patrick974]

Bonjour,
Ca va faire environ 3 semaines que j'ai commencé a programmer en prolog. J'utilise swi-prolog parce que c'est celui qu'on utilise à la fac. Pour l'instant je dois avouer que je suis assez épaté par ce que j'ai vu :
éditeur de texte, debugger, debugger graphique, beaucoup de librairies et gratuit.
Evidement, j'ai pas vu les autres prologs, donc mon avis est subjectif (en plus d'être celui d'un débutant) !
Au revoir.

[jphache]

Bonjour,

J'ai utilisé il y a une vingtaine d'années les versions qui étaient répandues dans le monde étudiant :

- le Prolog de Bull (Xilog);
- Turbo-Prolog de Borland;
- Prolog de Prologia (dit "de Marseille").

Je souhaite m'y remettre à présent et je cherche une version avec une doc suffisamment simple et si possible en français. Je déplore à ce titre que Prolog II ne soit plus maintenu. Quelqu'un pourrait-il à titre confidentiel me refiler une version de Prolog III ou IV, si tant est qu'elle soit plus récente que la version II+ téléchargeable et qui date de 2000 ? Ce langage ne figure même pas sur le site de Prologia, ce qui fait qu'il n'est même plus possible de l'acheter ...

[monsieurdan]

Envoyé par jphache

Bonjour,

J'ai utilisé il y a une vingtaine d'années les versions qui étaient répandues dans le monde étudiant :

- le Prolog de Bull (Xilog);
- Turbo-Prolog de Borland;
- Prolog de Prologia (dit "de Marseille").

Je souhaite m'y remettre à présent et je cherche une version avec une doc suffisamment simple et si possible en français. Je déplore à ce titre que Prolog II ne soit plus maintenu. Quelqu'un pourrait-il à titre confidentiel me refiler une version de Prolog III ou IV, si tant est qu'elle soit plus récente que la version II+ téléchargeable et qui date de 2000 ? Ce langage ne figure même pas sur le site de Prologia, ce qui fait qu'il n'est même plus possible de l'acheter ...

Bonjour,

Si tu connais Turbo-Prolog, tu ne seras peut être pas trop perdu avec Visual Prolog (une édition non commercial est gratuite et non bridé)
Turbo Prolog sont les 1ière versions de Visual-Prolog , du temps ou cette version était diffusé par Borland.
Il s'agit d'un compilateur Prolog très fiable et performant, avec la possibilité de programmer "objet". J'utilise ce Prolog en association avec Delphi7 pour des appli professionnel. Je connais d'autre prolog, je n'ai pas vu mieux que Visual Prolog. OK, pour les puriste de Prolog, il n'est pas ISO, mais aucune de ces limites , s'il y en a, ne m'a géné. Par contre, il vaux mieux maitriser l'anglais.

[polochonad]

salut,
j'utilise en ce qui me concerne, sicstus... une merveille!!

[Alp]

Pour ma part c'est SWI-Prolog, il ne m'a limité en rien pour le moment

[Jejej]

En cours, on a utilisé "ECLiPSe" (http://87.230.22.228/features.html) qui est un framework pour la programmation par contraintes "largely backward-compatible with Prolog"

To simplify porting tasks, compatibility libraries for C-Prolog, Quintus, SICStus, SWI and ISO Standard Prolog are provided, which make it possible to integrate modules written in those dialects.

Et donc, c'est celui que j'utilise aussi chez moi. Personne ne l'a essayé ? (Ouaip, en fait l'homonymie avec l'IDE Java ne contribue pas à son succès, pas facile de faire des recherches !)