Accueil
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
UniversitySurf.net
Votre portail e-Learning
Votre portail e-Learning
Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines
Mathématiques, musique et relations avec d'autres disciplines
ZOHO® permet de lire les documents doc ppt pdf...
Cliquez ici
Prolog Logique Langages
| SOMMAIRE | Groupes | Pages Web | Associations | Pages Personnelles | Écoles d'été | Conférences |
| Algorithmes | Exemples | Logiciels | Programmes | Utilitaires | Java | Papiers | Journaux |
| Cours | Tutoriels | Manuels | Bibliographies | Faq | News | Firmes | Liens |
| Algorithmes | Exemples | Logiciels | Programmes | Utilitaires | Java | Papiers | Journaux |
| Cours | Tutoriels | Manuels | Bibliographies | Faq | News | Firmes | Liens |
GROUPES - GROUPS
<http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/> <http://www-lp.doc.ic.ac.uk/> <http://www.cs.engr.uky.edu/~lpnmr/>large European community of researchers
<http://archive.museophile.org/compulog/>
<http://www.cse.psu.edu/~dale/lProlog/index.html>
PAGES WEB
Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features.
<http://www.cs.mu.oz.au/research/mercury/>
XSB is an extension of an Edinburgh Prolog
<ftp://ftp.cs.sunysb.edu/pub/XSB/>
SWI-Prolog is a Free Software Prolog compiler, licensed under the Lesser GNU Public License. Together with its graphics toolkit XPCE, its development started in 1987 and has been driven by the needs for real-world applications.
<http://www.swi-prolog.org/>
IC-Parc at Imperial College London
ECLiPSe is a software system for the cost-effective development and deployment of constraint programming applications, e.g. in the areas of planning, scheduling, resource allocation, timetabling, transport etc. It is also ideal for teaching most aspects of combinatorial problem solving, e.g. problem modelling, constraint programming, mathematical programming, and search techniques.
<http://www.icparc.ic.ac.uk/eclipse/>
ASSOCIATIONS
<http://www.compulog.org/> <http://www.aslonline.org/>
PAGES PERSONNELLES - HOME PAGES
<http://www.lim.univ-mrs.fr/~colmer/>
ÉCOLES D'ÉTÉ - SUMMER SCHOOLS
Student Session of the 20th European Summer School in Logic, Language and Information
to be held in Hamburg, Germany on August 4-15, 2008.
<http://staff.science.uva.nl/~kbalogh/StuS13/>
CONFÉRENCES - MEETINGS
<http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/Previous_ICLP/>Twenty First International Conference on Logic Programming October 2 - 5, 2005
<http://www.iiia.csic.es/iclp2005/>
Twenty Second International Conference on Logic Programming
<http://www.easychair.org/FLoC-06/ICLP.html>
23rd International Conference on Logic Programming 8-13 September, Porto, Portugal
<http://www.dcc.fc.up.pt/iclp07/>
24th International Conference on Logic Programming December 9-13 2008, Udine, Italy
Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.
<http://iclp08.dimi.uniud.it/>
ICLP'08 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008
Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.
<http://iclp08.dimi.uniud.it/>
ALGORITHMES
Colin Barker
A Sudoku Solver. A Faster Sudoku Solver ...
All these items have been tested using LPA Win-Prolog
<http://perso.wanadoo.fr/colin.barker/lpa/lpa.htm>
EXEMPLES - EXAMPLES
Solving Dr. Ecco's puzzle "Lines of Fire", Minimization of a Finite Automaton, Recursive Data Types in Prolog, Shortest Paths in a directed graph, Knight's tours N-queen problem
<http://www.lh.com/~oleg/ftp/Prolog/>
Cryptarithmetic, Magic Hexagon, Magic Sequences, Magic Squares, Golomb rulers, Zebra, Tomography, Queens, Liars. Puzzle Collections ...
<http://www.icparc.ic.ac.uk/eclipse/examples/index.html>
Colin Barker
Turbo Prolog Goodies. LPA Win-Prolog Goodies. Covering Designs. Cryptarithms
<http://perso.wanadoo.fr/colin.barker/>
LOGICIELS - SOFTWARES
ICP is an Edinburgh style prolog based on the WAM.
<http://www-lp.doc.ic.ac.uk/LocalInfo/prolog.html>
is a compact and complete CLP system that runs Prolog and CLP(FD) programs. An emulator-based system, B-Prolog has a performance comparable with SICStus-Prolog.
Neng-Fa Zhou Brooklyn College New York
<http://www.cad.mse.kyutech.ac.jp/people/zhou/bprolog.html>
The clp(Q,R) system referred to in this document is an instance of the general Constraint Logic Programming scheme introduced by [Jaffar & Michaylov 87].
<http://www.ai.univie.ac.at/clpqr/>
PLAM is an implementation in Prolog of an algebraic modelling language. It runs using either the freely available SWI-Prolog or the commercial SICStus-Prolog.
<http://www.mpi-sb.mpg.de/~barth/plam/plam.html>
<http://www.licinfo.ups-tlse.fr/prolog.htm>
<ftp://ftp.pasteur.fr/pub/computing/gnu/gprolog/>
<ftp://ftp.inria.fr/INRIA/Projects/contraintes/gnu-prolog/>
<ftp://ftp.irisa.fr/local/maliv06/>
<ftp://ftp.irisa.fr/local/pm/>
<ftp://ftp.irisa.fr/local/Prolog2R/>
<http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html>
<http://www.comlab.ox.ac.uk/archive/logic-prog.html#Prolog>
<http://www.idiom.com/free-compilers/ECATEGORY/logicpro-1.html>
<http://www.swi.psy.uva.nl/projects/xpce/download.html>
is a free Prolog-based implementation of a basic deductive database with stratified negation which uses Datalog as a query language. The system is implemented on top of Prolog - License GPL
Fernando Sáenz
<http://www.fdi.ucm.es/profesor/fernan/DES/index.html>
<http://www.dobrev.com/>
an extension to NU-Prolog which allows evaluable functions to be defined using equations.
Lee Naish Melbourne
<http://ww.cs.mu.oz.au/~lee/papers/eq/>
PROGRAMMES
clip the gnuprolog implementation of the CLIP interpreter. you can enter interval arithmetic constraints using curly braces.
<http://www.cs.brandeis.edu/~tim/>
OUTILS - TOOLS
Open source object-oriented extension to Prolog
Compatibility List of Logtalk compatible Prolog compilers
<http://www.logtalk.org/>
JAVA
A Prolog to Java Translator System
Prolog Cafe v 0.9 that supports the BigInteger and module system is available at the end of Feb. 2004.!
DEMO APPLETS N-Queen, Knight Tour, Pentomino, Peg Game
Mutsunori Banbara and Naoyuki Tamura
<http://kaminari.scitec.kobe-u.ac.jp/PrologCafe/>
<http://wwwsi.supelec.fr/yb/projets/easyprolog/easyprolog.html>
DOCUMENTS - PAPERS
<http://www.vanx.org/archive/wam/wam.html>
JOURNAUX - LETTERS
<http://www-lp.doc.ic.ac.uk/alp/archive.html>
COURS - COURSES
<http://users.info.unicaen.fr/~nugues/Cours/prolog/prolog.html> <http://www.info.univ-angers.fr/pub/stephan/MAIT_INFO/PROGRAMMATION_LOGIQUE/programmation_logique.html>
TUTORIELS - TUTORIALS
<http://fr.wikipedia.org/wiki/PROLOG> <http://www.shef.ac.uk/uni/academic/I-M/is/studwork/prolog/starting.html> <http://www.comlab.ox.ac.uk/oucl/courses/msc-comp/ilp/index.html> <http://www.comlab.ox.ac.uk/oucl/groups/machlearn/progol.html>Jocelyn Paine.
<ftp://gatekeeper.dec.com/pub/plan/prolog/uk/tutor.tar.tar.Z>
<http://www.ecrc.de/eclipse/html/protcl/protcl/protcl.html>
by Roman Barták
<http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html>
Amzi! inc.
<http://www.amzi.com/AdventureInProlog/advfrtop.htm>
by Dr Peter Hancox
<http://www.cs.bham.ac.uk/~pjh/prolog_course/se207.html>
MANUELS - MANUALS
<http://www.cs.usask.ca/resources/documentation/eclipse/eclipse_4.1/userman/umsroot.html>
RÉFÉRENCES - BIBLIOGRAPHIES
<http://liinwww.ira.uka.de/bibliography/LogicProgramming/index.html>
QUESTIONS - FAQ
<http://www.cs.cmu.edu/Web/Groups/AI/html/air.html> <http://www.cis.ohio-state.edu/hypertext/faq/usenet/prolog/resource-guide/part2/faq.html> <http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/top.html> <http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/faq/faq.html> <http://www.cse.psu.edu/~dale/lProlog/faq/faq.html> <http://flits102-126.flits.rug.nl/~dirk-jan/prolog/faq/> From the newsgroup comp.lang.prolog.
<http://fas.sfu.ca/0/cs/people/ResearchStaff/jamie/personal/prolog-faq.1>
GROUPES DE DISCUSSION - NEWS
<http://www-lp.doc.ic.ac.uk/complangprolog.html> <http://www-lp.doc.ic.ac.uk/compconstraints.html> <news:comp.lang.prolog>
FIRMES - FIRMS
<http://www.amzi.com/> <http://www.sics.se/sicstus.html> <http://www.binnetcorp.com/BinProlog/> <http://www.quintus.com/> <http://www.lpa.co.uk/>The ECRC Constraint Logic Parallel System
<http://www.ecrc.de/eclipse/eclipse.html>
LIENS - LINKS
<http://www.cwi.nl/projects/alp/Links/index.html> <http://www.cs.engr.uky.edu/~lpnmr/rel_cites.html> <http://www.comlab.ox.ac.uk/archive/logic-prog.html> <http://www-poleia.lip6.fr/~liret/bookmarkslip6.html> <http://kaminari.scitec.kobe-u.ac.jp/logic/jprolog.html>Links to Logtalk, Prolog, and Object-oriented Programming related resources.
<http://www.logtalk.org/links.html>
Actualités
| SOMMAIRE | Groupes | Pages Web | Associations | Pages Personnelles | Écoles d'été | Conférences |
| Algorithmes | Exemples | Logiciels | Programmes | Utilitaires | Java | Papiers | Journaux |
| Cours | Tutoriels | Manuels | Bibliographies | Faq | News | Firmes | Liens |
| Algorithmes | Exemples | Logiciels | Programmes | Utilitaires | Java | Papiers | Journaux |
| Cours | Tutoriels | Manuels | Bibliographies | Faq | News | Firmes | Liens |
Advertising :
If you see a reference in one of the files that is not linked, and you know of a link address to the appropriate document,
please send me mail, and I will include the link in the document. Thanks very much in advance.
Avertissement : Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :
Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.
Copyright © 1999-2006 Jean-Paul Davalan - Reproduction interdite.
Avertissement : Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :
Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.
Copyright © 1999-2006 Jean-Paul Davalan - Reproduction interdite.
| Accueil | Plan du site | Bloc notes | Jeux | Graphes | Combinatoire | Arithmétique | Algèbre |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
