R: Prolog

Pierre Zweigenbaum pz at biomath.jussieu.fr
Tue Sep 21 17:36:14 UTC 1999 

[avalanche de réponses !!  -- pz]

  ________________________________________________________________
  1/Date: Fri, 17 Sep 1999 16:08:37 -0400
  From: Laurence Capus <capus at ift.ulaval.ca>

  2/Date: Fri, 17 Sep 1999 16:39:54 -0400 (EDT)
  From: Grégory Perrat <perratg at mail.com>

  3/Date: Sat, 18 Sep 1999 00:02:57 +0200
  From: Nicolas <optimus at multimania.com>

  4/Date: Mon, 20 Sep 1999 07:48:23 +0200 (MET DST)
  From: Henri.Zingle at unice.fr (Zinglé Henri)

  5/Date: Mon, 20 Sep 1999 08:51:15 +0200 (MET DST)
  From: Marc Guyomard <Marc.Guyomard at enssat.fr>

  6/Date: Mon, 20 Sep 1999 09:34:48 +0200
  From: Piet Mertens <Piet.Mertens at arts.kuleuven.ac.be>

  7/Date: Mon, 20 Sep 1999 11:39:05 +0100
  From: Laurent.Trilling at imag.fr (Laurent Trilling)

  8/Date: Mon, 20 Sep 1999 14:37:29 +0000 (GMT)
  From: Serge Rosmorduc <rosmord at iut.univ-paris8.fr>
  ________________________________________________________________


________________________________________________________________
1/Date: Fri, 17 Sep 1999 16:08:37 -0400
From: Laurence Capus <capus at ift.ulaval.ca>
Message-Id: <3.0.6.32.19990917160837.00806b20 at auguste.ift.ulaval.ca>
X-url: http://swi.swi.psy.uva.nl/projects/SWI-Prolog/download.html


J'enseigne Prolog dans un cours d'intelligence artificielle et nous
disposons de WinProlog 4 de la société LPA. Bien sur, il n'est pas gratuit
mais de leur site internet on peut telecharger une version d'utilisation
gratuite de 28 jours.
http://www.lpa.co.uk/

Mes étudiants ont trouvé des Prolog freeware pour Windows aux adresses
suivantes mais je n'ai pas eu encore le temps de les tester vraiment.
 - Pie Prolog
http://www.pdc.dk/vipexamples/winapps/pie.htm
 - Strawberry Prolog 1.02 pour Windows 95/NT
http://www.dobrev.com/download.html
 - SWI Prolog
http://swi.swi.psy.uva.nl/projects/SWI-Prolog/download.html

Laurence Capus
Departement d'informatique
Universite Laval
Ste-Foy (QC) - CANADA
capus at ift.ulaval.ca

________________________________________________________________
2/Date: Fri, 17 Sep 1999 16:39:54 -0400 (EDT)
From: Grégory Perrat <perratg at mail.com>
Message-Id: <382759269.937600794099.JavaMail.root at web02.pub01>
X-url: http://www.hio.hen.nl/faq/SWI-Prolog.html


SWI-Prolog est le Prolog gratuit le plus
connu pour Windows (et d'autres plateformes),
assez proche de Quintus-Prolog.
Il est surtout destiné à l'enseignement, mais
n'est pas forcément de qualité inférieure aux
Prolog commerciaux.
C'est un Prolog de type Edimbourg,
qui est utilisé dans la plupart des
universités anglaises qui enseignent le Prolog.

Voir :
http://www.hio.hen.nl/faq/SWI-Prolog.html

__________________________________________________
FREE Email for ALL! Sign up at http://www.mail.com

________________________________________________________________
3/Date: Sat, 18 Sep 1999 00:02:57 +0200
From: Nicolas <optimus at multimania.com>
Message-ID: <37E2BA91.E6DBCEF7 at multimania.com>


Bonjour,
très bonne décision l'enseignement de Prolog! Je le préfère de loin à LISP.
C'est plus intuitif.  Et c'est d'une grande souplesse et d'un grand intérêt
pédégogique.
Par contre, je vous conseille d'aller lentement au début car rare sont les
personnes à comprendre d'emblée la programmation récursive, et surtout à
penser récursivement.

J'utilise le Prolog SWI, freeware fait par une faculté à Amsterdam. Il fatt
utiliser un éditeur externe pour saisir les lignes de code. Mais il est d'un
très bon niveau car tjrs doté des dernières inovations, étant la version test
proposée aux universitaires pour éprouver ses capacités!

Vous le trouverez facilement en tapant SWI dans Yahoo ou excite.com
Je n'ai pas les URL en tête. Si vous ne le trouvez pas, je vous l'enverrai par
mail en fichier joint, il n'est pas très gros. Il fonctionne très bien sous
windows. Il existe aussi en version DOS et Linux.

Il existe le Prolog Strawberry qui est plus axé sur windows et avec lequel
il est aisé de créer des environnements fenétrés pour ses applications. Mais
il faut être quand même bien habitué à l aprogrammation Prolog. Donc ne pas le
proposer de suite. Aussi Freeware.

Enfin, si vous pouviez payer la licence de LPA Prolog qui dispose d'une
superbe interface graphique avec éditeur et console. Ce n'est pas trop cher
pour une fac. La licence tourne autour de qq centaines de francs et encore...

    Si vous ne trouvez pas ces logiciels, faites le moi savoir, je
m'arrangerai alors pour retrouver les URLs! De toute façon, si je remet la
main dessus je vous les enverrai.

    Bonne continuation dans l'enseignement de ce fabuleux langage! Un peu
étrange au début, je sais qu'il en a découragé plus d'un. Il faut une approche
lente dans les premiers temps. Et peut-être donner quelques notions de
récursivité mathématique pour les raisonnements (en ce qui concerne les
clauses, les faits, les règles...)

    En tout cas, c après entrainement, un langage qui permet de définir assez
aisément des règles de grammaires. Et la facilité de programmation d'automates
permet de ne pas être arrêté par de la programmtion trop lourde.

    J'espère vous avoir été utile et clair! N'hésitez pas à me recontacter
pour tout pb!

Cordialement

Nicolas

________________________________________________________________
4/Date: Mon, 20 Sep 1999 07:48:23 +0200 (MET DST)
From: Henri.Zingle at unice.fr (Zinglé Henri)
Message-Id: <199909200548.HAA01412 at naxos.unice.fr>
X-url: http://www.pdc.dk/


Il y a une version Education de VISUAL PROLOG (PDC) tres bon marché.
Renseignements sur
http://www.pdc.dk/
H. Zingle

Pr. H. Zinglé
LILLA-Université de Nice-Sophia Antipolis
98, bd Edouard Herriot - BP 209
F-06204 Nice Cedex3
Tél./Fax +33 93375439

________________________________________________________________
5/Date: Mon, 20 Sep 1999 08:51:15 +0200 (MET DST)
From: Marc Guyomard <Marc.Guyomard at enssat.fr>
Message-Id: <v03007800b40ba4ffa783@[192.54.188.94]>
X-url: ftp://ftp.swi.psy.uva.nl/pub/SWI-Prolog/

Bonjour,

J'ai entendu beaucoup de bien de SWI-Prolog (certains l'ulisent dans
l'equipe), de l'université d'Amsterdam :

ftp://ftp.swi.psy.uva.nl/pub/SWI-Prolog/


C'est un prolog compilé (Wam), dote d'une interface avec C.


Cordialement.

____________________________________________________________________________
Marc Guyomard
Enssat/IRISA (Cordial)
Université de Rennes I
Technopole Anticipa
6, rue de Kerampont
22305 Lannion Cedex
France

>From overseas :
Tel :
     (33) 2-96-46-50-30 (Enssat)
     (33) 2-96-46-66-29 (Direct)
Fax :(33) 2-96-37-01-99

De France :
Tel :
     02-96-46-50-30 (Enssat)
     02-96-46-66-29 (Direct)
Fax :02-96-37-01-99
Web : http://www.enssat.fr
e-mail : guyomard at enssat.fr

________________________________________________________________
6/Date: Mon, 20 Sep 1999 09:34:48 +0200
From: Piet Mertens <Piet.Mertens at arts.kuleuven.ac.be>
Message-Id: <3.0.5.32.19990920093448.007deaf0 at onyx.arts.kuleuven.ac.be>
X-url: http://swi.psy.uva.nl/projects/SWI-Prolog/


Le logiciel recherché est disponible sur

http://swi.psy.uva.nl/projects/SWI-Prolog/

Je l'utilise depuis quelques années, pour les gros projets
comme pour l'enseignement.  C'est robuste, fiable, rapide,
portable (Unix, Windows, d'autres...). Il existe une liste
de discussion où celui qui a conçu le système répond
aux questions.

Piet Mertens

________________________________________________________________
7/Date: Mon, 20 Sep 1999 11:39:05 +0100
From: Laurent.Trilling at imag.fr (Laurent Trilling)
Message-Id: <v01540b00b40bbd75cb4d@[129.88.38.44]>


Bien recu.
Nous utilisons ici Prolog IV (de prologIA), disponible aussi sous Windows.
Pour deux raisons:
 - une tres bonne definition (essentiel pour l'enseignement)
 - les derniers concepts en matiere de contraintes sont integres
(contraintes sur intervalles).
Devoir payer un cout (extremement modeste) m'apparait un avantage. A partir
du moment ou on achete (meme peu cher), le vendeur a des devoirs...
Bien a vous.
Laurent Trilling.

-----------------------------
Laurent Trilling

Université Joseph Fourier (Grenoble)
lab. LSR-IMAG
BP 72
38402 SAINT MARTIN D'HERES CEDEX
France

e-mail: Laurent.Trilling at imag.fr
bureau: ENSIMAG, bat. D, D104
tel : 04 76 82 72 13 (prof.),  O4 76 51 23 76 (dom.)
FAX :04 76 82 72 87 (prof.)
-----------------------------

________________________________________________________________
8/Date: Mon, 20 Sep 1999 14:37:29 +0000 (GMT)
From: Serge Rosmorduc <rosmord at iut.univ-paris8.fr>
Message-ID: <14310.17970.961743.842955 at djedefhor.iut.univ-paris8.fr>


Bonjour,

Le swi prolog est très complet, et en plus disponible à la fois sous
windows et sous unix.

Cordialement,

--

Serge Rosmorduc, (rosmord at iut.univ-paris8.fr)
tel 01 48 70 37 09
fax 01 48 70 86 49
http://www.iut.univ-paris8.fr/~rosmord/AEgypt.html

________________________________________________________________

More information about the Ln mailing list