Accueil
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

CultureMATH
ENSup. et Minist. EN

OE
I S

Encyclopédie des suites d'entiers

Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines

IHÉS

Institut des Hautes Études Scientifiques

L'INVERSEUR
de Plouffe

Prolog Logique Langages

GROUPES - GROUPS

Association for Logic Programming (ALP)

<http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/>

Department of Computing, Imperial College

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

Special Interest Group on Logic Programming and Nonmonotonic Reasoning

<http://www.cs.engr.uky.edu/~lpnmr/>

Computational Logic

large European community of researchers

<http://archive.museophile.org/compulog/>

Lambda Prolog

<http://www.cse.psu.edu/~dale/lProlog/index.html>

PAGES WEB

The Mercury Project

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.

ftp download directory

<http://www.cs.mu.oz.au/research/mercury/>

XSB slg mercury

XSB is an extension of an Edinburgh Prolog

<ftp://ftp.cs.sunysb.edu/pub/XSB/>

SWI-Prolog

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

The ECLiPSe Constraint Logic Programming System

IC-Parc at Imperial College London

ECLⁱPS^e 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

compulog.org

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

Association for Symbolic Logic

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

PAGES PERSONNELLES - HOME PAGES

Alain Colmerauer

Early History of Prolog

<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

Previous ICLP Conferences

<http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/Previous_ICLP/>

ICLP'2005

Twenty First International Conference on Logic Programming October 2 - 5, 2005

<http://www.iiia.csic.es/iclp2005/>

ICLP'2006

Twenty Second International Conference on Logic Programming

<http://www.easychair.org/FLoC-06/ICLP.html>

ICLP'2007

23rd International Conference on Logic Programming 8-13 September, Porto, Portugal

<http://www.dcc.fc.up.pt/iclp07/>

ICLP'2008

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

LPA Win-Prolog Goodies

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

Prolog Miscellanea

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

ECLiPSe Code Samples

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>

Solutions to some exercises in "The Art of Prolog"

Colin Barker

Turbo Prolog Goodies. LPA Win-Prolog Goodies. Covering Designs. Cryptarithms

<http://perso.wanadoo.fr/colin.barker/>

LOGICIELS - SOFTWARES

IC Prolog ][

ICP is an Edinburgh style prolog based on the WAM.

<http://www-lp.doc.ic.ac.uk/LocalInfo/prolog.html>

B-Prolog

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>

clp(Q,R)

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 - ProLog and Modelling

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>

XSB Prolog

<http://www.licinfo.ups-tlse.fr/prolog.htm>

gnuprolog

<ftp://ftp.pasteur.fr/pub/computing/gnu/gprolog/>

gnu-prolog

<ftp://ftp.inria.fr/INRIA/Projects/contraintes/gnu-prolog/>

Maliv06

<ftp://ftp.irisa.fr/local/maliv06/>

pm Prolog Mali

<ftp://ftp.irisa.fr/local/pm/>

Prolog2R

<ftp://ftp.irisa.fr/local/Prolog2R/>

Free/Shareware Prolog implementations

<http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html>

Prolog

<http://www.comlab.ox.ac.uk/archive/logic-prog.html#Prolog>

category: logic programming languages

<http://www.idiom.com/free-compilers/ECATEGORY/logicpro-1.html>

XPCE public download page

<http://www.swi.psy.uva.nl/projects/xpce/download.html>

Datalog Educational System (DES)

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>

Strawberry Prolog

FTP

<http://www.dobrev.com/>

NUE-Prolog

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

Timothy J. Hickey - clip

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

Logtalk

Open source object-oriented extension to Prolog

Compatibility List of Logtalk compatible Prolog compilers

Paulo Moura

<http://www.logtalk.org/>

JAVA

Java Prolog

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

EasyProlog

<http://wwwsi.supelec.fr/yb/projets/easyprolog/easyprolog.html>

DOCUMENTS - PAPERS

Warren's Abstract Machine: A Tutorial Reconstruction

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

JOURNAUX - LETTERS

The ALP Newsletter

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

COURS - COURSES

La Programmation Logique et le langage Prolog

Pierre Nugues

<http://users.info.unicaen.fr/~nugues/Cours/prolog/prolog.html>

Programmation logique

Igor StÃ©phan

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

Learn Prolog Now!

Patrick Blackburn, Johan Bos and Kristina Striegnitz

<http://www.coli.uni-saarland.de/~kris/learn-prolog-now/>

TUTORIELS - TUTORIALS - TUTORS

Wikipedia - Prolog

<http://fr.wikipedia.org/wiki/PROLOG>

Learning PROLOG

<http://www.shef.ac.uk/uni/academic/I-M/is/studwork/prolog/starting.html>

Logic Programming and Learning

<http://www.comlab.ox.ac.uk/oucl/courses/msc-comp/ilp/index.html>

Progol

<http://www.comlab.ox.ac.uk/oucl/groups/machlearn/progol.html>

Source from Jocelyn's book "The Logic Programming Tutor".

Jocelyn Paine.

<ftp://gatekeeper.dec.com/pub/plan/prolog/uk/tutor.tar.tar.Z>

ProTcXl 2.1 User Manual

<http://www.ecrc.de/eclipse/html/protcl/protcl/protcl.html>

on-line guide to Prolog programming

by Roman BartÃ¡k

<http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html>

Adventure in Prolog

Amzi! inc.

<http://www.amzi.com/AdventureInProlog/advfrtop.htm>

Prolog and Logic Programming

by Dr Peter Hancox

<http://www.cs.bham.ac.uk/~pjh/prolog_course/se207.html>

MANUELS - MANUALS

ECLiPSe

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

RÉFÉRENCES - BIBLIOGRAPHIES

Bibliographies on Logic Programming

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

QUESTIONS - FAQ

CMU Artificial Intelligence Repository

<http://www.cs.cmu.edu/Web/Groups/AI/html/air.html>

FAQ: Prolog Implementations 2/2 [Monthly posting]

<http://www.cis.ohio-state.edu/hypertext/faq/usenet/prolog/resource-guide/part2/faq.html>

AI-related FAQs Prolog Resource Guide

<http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/top.html>

Frequently Asked Questions (FAQ) often seen in comp.lang.prolog

<http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/faq/faq.html>

FAQ: Frequently Asked Questions

<http://www.cse.psu.edu/~dale/lProlog/faq/faq.html>

comp.lang.prolog FAQ

<http://flits102-126.flits.rug.nl/~dirk-jan/prolog/faq/>

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

comp.lang.prolog

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

comp.constraints

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

comp.lang.prolog

<news:comp.lang.prolog>

FIRMES - FIRMS

Amzi

<http://www.amzi.com/>

SICSTUS

<http://www.sics.se/sicstus.html>

BinProlog

<http://www.binnetcorp.com/BinProlog/>

Quintus

<http://www.quintus.com/>

Logic Programming Associates

<http://www.lpa.co.uk/>

ECLiPSe

The ECRC Constraint Logic Parallel System

<http://www.ecrc.de/eclipse/eclipse.html>

LIENS - LINKS

Useful LP related links

<http://www.cwi.nl/projects/alp/Links/index.html>

LPNMR: Related sites

<http://www.cs.engr.uky.edu/~lpnmr/rel_cites.html>

Logic Programming

<http://www.comlab.ox.ac.uk/archive/logic-prog.html>

LIRET Anne 01 43 44 09 98's Bookmarks

<http://www-poleia.lip6.fr/~liret/bookmarkslip6.html>

Links for Java Prolog

Mutsunori Banbara

<http://kaminari.scitec.kobe-u.ac.jp/logic/jprolog.html>

Links to Logtalk, Prolog, and Object-oriented Programming related resources.

Paulo Moura

<http://www.logtalk.org/links.html>

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.