logo pages de liens

UniversitySurf.net
Votre portail e-Learning
CultureMATH
ENSup. et Minist. EN
Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines

  

Prolog Logique Langages



Bas de page

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>

precsuivant

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/>
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/>

precsuivant

ASSOCIATIONS

<http://www.compulog.org/> <http://www.aslonline.org/>

precsuivant

PAGES PERSONNELLES - HOME PAGES

<http://www.lim.univ-mrs.fr/~colmer/>

precsuivant

É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/>

precsuivant

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/>

precsuivant

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>

precsuivant

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/>

precsuivant

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/>

precsuivant

PROGRAMMES

clip the gnuprolog implementation of the CLIP interpreter. you can enter interval arithmetic constraints using curly braces.
<http://www.cs.brandeis.edu/~tim/>

precsuivant

OUTILS - TOOLS

Open source object-oriented extension to Prolog
Compatibility List of Logtalk compatible Prolog compilers
<http://www.logtalk.org/>

precsuivant

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>

precsuivant

DOCUMENTS - PAPERS

<http://www.vanx.org/archive/wam/wam.html>

precsuivant

JOURNAUX - LETTERS

<http://www-lp.doc.ic.ac.uk/alp/archive.html>

precsuivant

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>
Christine Solnon Résolution de problèmes combinatoires - Théorie des langages - Théorie des graphes - Problèmes d'optimisation dans les graphes - Algorithmique - Systèmes d'exploitations Unix/Linux - Programmation système - Programmation par contraintes - Intelligence Artificielle - Résolution automatique de problèmes - Ateliers de Génie logiciel
<http://www710.univ-lyon1.fr/%7Ecsolnon/prolog.html#syntaxe> <http://www.coli.uni-saarland.de/~kris/learn-prolog-now/>

precsuivant

TUTORIELS - TUTORIALS - TUTORS

<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>

precsuivant

MANUELS - MANUALS

<http://www.cs.usask.ca/resources/documentation/eclipse/eclipse_4.1/userman/umsroot.html>

precsuivant

RÉFÉRENCES - BIBLIOGRAPHIES

<http://liinwww.ira.uka.de/bibliography/LogicProgramming/index.html>

precsuivant

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>

precsuivant

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>

precsuivant

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>

precsuivant

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>

 haut de page











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 à :
écrire

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-2012 Jean-Paul Davalan - Reproduction interdite.