Publicité

Affichage des résultats du sondage: Quelle(s) implémentation(s) de prolog utilisez-vous ?

Votants
87. Vous ne pouvez pas participer à ce sondage.
  • GNU-Prolog

    22 25,29%
  • Prolog I, II, III, IV... (Prologia)

    7 8,05%
  • Qu-Prolog

    1 1,15%
  • SICStus Prolog

    8 9,20%
  • SWI-Prolog

    51 58,62%
  • Visual Prolog

    4 4,60%
  • autre (précisez)

    7 8,05%
Sondage à choix multiple
+ Répondre à la discussion
Page 2 sur 2 PremièrePremière 12
Affichage des résultats 21 à 25 sur 25
  1. #21
    Membre actif
    Étudiant
    Inscrit en
    février 2005
    Messages
    263
    Détails du profil
    Informations professionnelles :
    Activité : Étudiant

    Informations forums :
    Inscription : février 2005
    Messages : 263
    Points : 197
    Points
    197

    Par défaut

    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.

  2. #22
    Invité de passage
    Homme Profil pro Georges Robreau
    Enseignant Chercheur
    Inscrit en
    août 2011
    Messages
    1
    Détails du profil
    Informations personnelles :
    Nom : Homme Georges Robreau
    Localisation : France, Finistère (Bretagne)

    Informations professionnelles :
    Activité : Enseignant Chercheur
    Secteur : Santé

    Informations forums :
    Inscription : août 2011
    Messages : 1
    Points : 1
    Points
    1

    Par défaut 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.

  3. #23
    Membre expérimenté Avatar de srvremi
    Homme Profil pro Rémi Vernay
    Enseignant Chercheur
    Inscrit en
    mars 2002
    Messages
    544
    Détails du profil
    Informations personnelles :
    Nom : Homme Rémi Vernay
    Localisation : France, Pyrénées Atlantiques (Aquitaine)

    Informations professionnelles :
    Activité : Enseignant Chercheur
    Secteur : Enseignement

    Informations forums :
    Inscription : mars 2002
    Messages : 544
    Points : 551
    Points
    551

    Par défaut

    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
    Bubuntu Graph - Rémi Vernay
    Enseignant-chercheur à l'EISTI (École d'ingénieurs en informatique Pau/Cergy)
    Expert en informatique près la cour d'appel de Pau

  4. #24
    Invité de passage
    Femme Profil pro
    Inscrit en
    avril 2012
    Messages
    26
    Détails du profil
    Informations personnelles :
    Sexe : Femme
    Localisation : France

    Informations forums :
    Inscription : avril 2012
    Messages : 26
    Points : 1
    Points
    1

    Par défaut

    J'utilise SWI-Prolog.

  5. #25
    Membre du Club
    Inscrit en
    mai 2006
    Messages
    33
    Détails du profil
    Informations forums :
    Inscription : mai 2006
    Messages : 33
    Points : 56
    Points
    56

    Par défaut

    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.

Liens sociaux

Règles de messages

  • Vous ne pouvez pas créer de nouvelles discussions
  • Vous ne pouvez pas envoyer des réponses
  • Vous ne pouvez pas envoyer des pièces jointes
  • Vous ne pouvez pas modifier vos messages
  •